TY  - RPRT
TI  - On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
AU  - Ahmed Bouajjani
AU  - Constantin Enea
AU  - Kailiang Ji
AU  - Shaz Qadeer
PY  - 2018
UR  - https://arxiv.org/abs/1804.06612
ID  - 1804.06612
ER  -