A model of cooperative threads.

Martn Abadi, Gordon D. Plotkin

Browse the full POPL paper archive.