TY  - RPRT
TI  - Modularizing and Specifying Protocols among Threads
AU  - Sung-Shik T. Q. Jongmans
AU  - Farhad Arbab
PY  - 2013
DO  - 10.4204/eptcs.109.6
UR  - https://arxiv.org/abs/1302.6333
ID  - 1302.6333
ER  -