Comparative concurrency semantics and refinement of actions (1990)

by R van Glabbeek