3 papers
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…
cs.DC2019
Tasks in Modular Proofs of Concurrent Algorithms
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec +1
Proving correctness of distributed or concurrent algorithms is a mind-challenging and complex process. Slight errors in the reasoning are difficult to find, calling for computer-ch…
cs.DC2018
Characterizing Asynchronous Message-Passing Models Through Rounds
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Message-passing models of distributed computing vary along numerous dimensions: degree of synchrony, kind of faults, number of faults... Unfortunately, the sheer number of models a…