Nielsen, M., Sassone, V., & Winskel, G. (1993). Relationships between Models of Concurency. DAIMI Report Series, 22(456). https://doi.org/10.7146/dpb.v22i456.6929