G. Winskel, “Event Structure Semantics for CCS and Related Languages”, DPB, vol. 12, no. 159, Apr. 2002.