TY  - RPRT
TI  - Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous
AU  - Adrien Pommellet
AU  - Tayssir Touili
PY  - 2019
UR  - https://arxiv.org/abs/1907.02834
ID  - 1907.02834
ER  -