TY  - RPRT
TI  - Future-based Static Analysis of Message Passing Programs
AU  - Wytse Oortwijn
AU  - Stefan Blom
AU  - Marieke Huisman
PY  - 2016
DO  - 10.4204/eptcs.211.7
UR  - https://arxiv.org/abs/1606.05942
ID  - 1606.05942
ER  -