A Compositional Trace Semantics for Orc.

Dimitrios Vardoulakis, Mitchell Wand

Browse the full Coordination paper archive.