Winskel, Glynn. “Event Structure Semantics for CCS and Related Languages”. DAIMI Report Series 12, no. 159 (April 1, 2002). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/6812.