TY  - RPRT
TI  - Unlocking Blocked Communicating Processes
AU  - Adrian Francalanza
AU  - Marco Giunti
AU  - António Ravara
PY  - 2015
DO  - 10.4204/eptcs.188.4
UR  - https://arxiv.org/abs/1508.03901
ID  - 1508.03901
ER  -