Engberg U, Nielsen M, Winskel G. Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24). DPB [Internet]. 1992 Apr. 1 [cited 2024 May 8];21(392). Available from: https://tidsskrift.dk/daimipb/article/view/6627