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