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...
share
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
∙
03/05/2020
K set-agreement bounds in round-based models through combinatorial topology
Round-based models are the main message-passing models; combinatorial to...
research
∙
05/04/2018