Sven-Olof Nyström

• Denotational semantics for asynchronous concurrent languages