The LosTarski and Lyndon Theorems for the \mulogic
Giovanna D'Agostino
We prove the Lyndon Theorem and the LosTarski Theorem for the modal
\mucalculus, using automata which run on process graphs and are
equivalent in expressive power to the \mucalculus.