A model of cooperative threads (2009)

by M Abadi, G Plotkin
Venue:In POPL ’09