@inproceedings{shimi:hal-02947787,
  TITLE = {{Derivation of Heard-Of Predicates From Elementary Behavioral Patterns}},
  AUTHOR = {Shimi, Adam and Hurault, Aur{\'e}lie and Qu{\'e}innec, Philippe},
  URL = {https://hal.science/hal-02947787},
  BOOKTITLE = {{International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020)}},
  ADDRESS = {Online, France},
  PAGES = {133-149},
  YEAR = {2020},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-50086-3\_8},
  KEYWORDS = {Message-passing ; Asynchronous rounds ; Failures ; Heard-of model},
  PDF = {https://hal.science/hal-02947787/file/Shimi_26385.pdf},
  HAL_ID = {hal-02947787},
  HAL_VERSION = {v1},
}