Resource control for synchronous cooperative threads (0)

by R Amadio, S Dal-Zilio
Venue:In CONCUR. Lecture Notes in Computer Science