Winskel, G., & Nielsen, M. (1993). Models for Concurrency. DAIMI Report Series, 22(463). https://doi.org/10.7146/dpb.v22i463.6936