Winskel, G., & Nielsen, M. (1994). Models for Concurrency. BRICS Report Series, 1(12). https://doi.org/10.7146/brics.v1i12.21658