The Heard-Of model of Charron-Bost and
Schiper [1]} constrains
communication through heard-of predicates, which are themselves
predicates on heard-of collections. These predicates play the role of
assumptions about synchrony, faults, network topology, and more.
