Resource Control for Synchronous Cooperative Threads.

Roberto M. Amadio, Silvano Dal-Zilio

Browse the full CONCUR paper archive.