Sumários
In-depth study of a consensus protocol
26 Outubro 2020, 18:30 • António Casimiro Ferreira da Costa
Mostefaoui and Raynal consensus protocol with Strong and Eventually Strong FDs
Failure detectors and consensus
26 Outubro 2020, 16:30 • António Casimiro Ferreira da Costa
- Properties of failure detectors;
- FDs and their implementation;
- Consensus algorithms with FDs
Project support
19 Outubro 2020, 18:30 • António Casimiro Ferreira da Costa
Discussion of questions about the project.
Fault-tolerant broadcasts and related problems II
19 Outubro 2020, 16:30 • António Casimiro Ferreira da Costa
- Causal broadcast;
- Atomic broadcast;
- Timed reliable broadcast;
- Transformations;
- Consensus;
- Equivalence between consensus and atomic broadcast