Publication:4778617
From MaRDI portal
zbMath0997.68579MaRDI QIDQ4778617
Francisco Brasileiro, Achour Mostefaoui, Fabíola Greve, Michel Raynal
Publication date: 18 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2127/21270042
Related Items
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker, The Heard-Of model: computing in distributed systems with benign faults, What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms, \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms, Fast Paxos, Lower bounds for asynchronous consensus, Bosco: One-Step Byzantine Asynchronous Consensus