TY  - RPRT
TI  - A Model of Cooperative Threads
AU  - Martín Abadi
AU  - Gordon D. Plotkin
PY  - 2010
DO  - 10.2168/lmcs-6(4:2)2010
UR  - https://arxiv.org/abs/1009.2405
ID  - 1009.2405
ER  -