Equivalence notions for concurrent systems and refinement of actions (1989)

by Rob van Glabbeek, Ursula Goltz
Venue:In Antoni Kreczmar and Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science