Title: Comparative concurrency semantics and refinement of actions
Subjects: Formal languages, Semantics