@misc{indiciae88b53c944cfb,
  title = {Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models},
  author = {Adam Shimi and Aurélie Hurault and Philippe Queinnec},
  year = {2021},
  doi = {10.46298/lmcs-17(3:26)2021},
  url = {https://arxiv.org/abs/2011.12879},
  note = {Source identifier: 2011.12879}
}