Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).

Rob J. van Glabbeek, Ursula Goltz

Browse the full MFCS paper archive.