A model of cooperative threads (2009)

by M Abadi, G D Plotkin
Venue:In Proc. of POPL’09