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