TY  - RPRT
TI  - Resource Control for Synchronous Cooperative Threads
AU  - Roberto Amadio
AU  - Silvano Dal Zilio
PY  - 2005
UR  - https://arxiv.org/abs/cs/0512057
ID  - cs/0512057
ER  -