Showing 2020 · cs.DCShow all
2 papers · 2 filters
cs.DC2020
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Adam Shimi, Aurélie Hurault, Philippe Queinnec
In distributed computing, multiple processes interact to solve a problem together. The main model of interaction is the message-passing model, where processes communicate by exchan…
cs.DC2020
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…