Event Structure Semantics for CCS and Related Languages.

Glynn Winskel

Browse the full ICALP paper archive.