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

by R van Glabbeek, U Goltz
Venue:Mathematical Foundations of Computer Science, volume 39 of LNCS