Jump to Content

A Model of Cooperative Threads

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

Abstract

Research Areas