@misc{indiciae0b60df2e4061,
  title = {From Global Choreographies to Provably Correct and Efficient Distributed Implementations},
  author = {Mohamad Jaber and Yliès Falcone and Paul Attie and Al-Abbass Khalil and Rayan Hallal},
  year = {2019},
  url = {https://arxiv.org/abs/1905.13529},
  note = {Source identifier: 1905.13529}
}