Comparative Concurrency Semantics and Refinement of Actions (1990)

by R J van Glabbeek