Nygaard, M. and Winskel, G. 2003. Domain Theory for Concurrency. BRICS Report Series. 10, 43 (Dec. 2003). DOI:https://doi.org/10.7146/brics.v10i43.21815.