TY  - RPRT
TI  - Toward Sequentializing Overparallelized Protocol Code
AU  - Sung-Shik T. Q. Jongmans
AU  - Farhad Arbab
PY  - 2014
DO  - 10.4204/eptcs.166.5
UR  - https://arxiv.org/abs/1410.7467
ID  - 1410.7467
ER  -