@misc{indiciaeba4ab9254222,
  title = {Reliability and Fault-Tolerance by Choreographic Design},
  author = {Ian Cassar and Adrian Francalanza and Claudio Antares Mezzina and Emilio Tuosto},
  year = {2017},
  doi = {10.4204/eptcs.254.6},
  url = {https://arxiv.org/abs/1708.07233},
  note = {Source identifier: 1708.07233}
}