Denotational semantics for asynchronous concurrent languages - Nyström, Sven-Olof (Computing Science Dep., Uppsala Univ., 1996)
Zugl.: Uppsala, Univ., Diss., 1996