"Resource Control for Synchronous Cooperative Threads."

Roberto M. Amadio, Silvano Dal-Zilio (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics