A Model of Cooperative Threads

Gordon D. Plotkin
Logical Methods in Computer Science, 6 (2010)

Abstract