@misc{indiciae085a473ce111,
  title = {On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony},
  author = {Ahmed Bouajjani and Constantin Enea and Kailiang Ji and Shaz Qadeer},
  year = {2018},
  url = {https://arxiv.org/abs/1804.06612},
  note = {Source identifier: 1804.06612}
}