Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors
M Raynal, J Stainer - Proceedings of the 2013 ACM symposium on …, 2013 - dl.acm.org
A message adversary is a daemon that suppresses messages in round-based message-
passing synchronous systems in which no process crashes. A property imposed on a …
passing synchronous systems in which no process crashes. A property imposed on a …
Increasing the power of the iterated immediate snapshot model with failure detectors
M Raynal, J Stainer - International Colloquium on Structural Information …, 2012 - Springer
The base distributed asynchronous read/write computation model is made up of n
asynchronous processes which communicate by reading and writing atomic registers only …
asynchronous processes which communicate by reading and writing atomic registers only …
[PDF][PDF] Round-based synchrony weakened by message adversaries vs asynchrony enriched with failure detectors
M Raynal, J Stainer - Proc. 33rd ACM Symposium on Principles of … - core.ac.uk
A message adversary is a daemon that suppresses messages in round-based message-
passing synchronous systems in which no process crashes. A property imposed on a …
passing synchronous systems in which no process crashes. A property imposed on a …
Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing
J Stainer - 2015 - inria.hal.science
This thesis studies computability in systems composed of multiple computers exchanging
messages or sharing memory. The considered models take into account the possible failure …
messages or sharing memory. The considered models take into account the possible failure …
The Iterated Restricted Immediate Snapshot Model
In the Iterated Immediate Snapshot model (IIS) the memory consists of a sequence of one-
shot Immediate Snapshot (IS) objects. Processes access the sequence of IS objects, one-by …
shot Immediate Snapshot (IS) objects. Processes access the sequence of IS objects, one-by …