Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

Adam Shimi, Aurélie Hurault, Philippe Queinnec

There are many models of distributed computing, and no unifying mathematical framework for considering them all. One way to sidestep this issue is to start with simple communicatio…