A Model of Cooperative Threads

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

Abstract

Research Areas