Winskel, G. Event Structure Semantics for CCS and Related Languages. DPB 2002, 12.