research
∙
11/25/2020
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Message-passing models of distributed computing vary along numerous dime...
research
∙
04/22/2020
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
There are many models of distributed computing, and no unifying mathemat...
research
∙
09/12/2019
Tasks in Modular Proofs of Concurrent Algorithms
Proving correctness of distributed or concurrent algorithms is a mind-ch...
research
∙
05/04/2018