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

by R J van Glabbeek, Goltz
Venue:LNCS