@misc{indiciaed42edd5ac24f,
  title = {A Decentralized Analysis of Multiparty Protocols},
  author = {Bas van den Heuvel and Jorge A. Pérez},
  year = {2022},
  url = {https://arxiv.org/abs/2101.09038},
  note = {Source identifier: 2101.09038}
}