Denotational semantics for asynchronous concurrent languages - Nyström, Sven-Olof (Uppsala theses in computing science, 1996)