A Resumption Monad Transformer and its Applications in the Semantics of Concurrency (2001)

by Nikolaos S. Papaspyrou
Citations:11 - 0 self