Koen Claessens's A Poor Man's Concurrency Monad [0] is perhaps easier reading than Li and Zdancewic here. [0] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

Koen Claessens's A Poor Man's Concurrency Monad [0] is perhaps easier reading than Li and Zdancewic here. [0] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.8039 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.8...