scientific article; zbMATH DE number 1830912

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

message passingconsensuscrash failureasynchronous distributed system

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Distributed systems (68M14)

Related Items (7)

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

This page was built for publication: