Comparative Concurrency Semantics and Refinement of Actions (1990)

by R VAN GLABBEEK