Equivalences and Preorders of Transition Systems.

Andr Arnold, Anne Dicky

Browse the full MFCS paper archive.