Comparative concurrency semantics and refinement of actions | lit.salon