Engberg, U., Nielsen, M. and Winskel, G. (1992) “Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)”, DAIMI Report Series, 21(392). doi: 10.7146/dpb.v21i392.6627.