The consensus machine: formalising consensus in the presence of malign agents

DOI10.1007/978-3-031-40436-8_6zbMATH Open1547.68452MaRDI QIDQ6535829

A. W. Roscoe, Jonathan Lawrence, Pedro Antonino

Publication date: 28 February 2024

zbMATH Keywords

process algebraformal methodsconsensusstate machineblockchain

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Cites Work

• Title not available (Why is that?)
• Statecharts: a visual formalism for complex systems
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• Understanding concurrent systems
• Impossibility of distributed consensus with one faulty process
• Reaching Agreement in the Presence of Faults
• The Byzantine Generals Problem
• CSP: A Practical Process Algebra
• The part-time parliament
• HotStuff
• FDR3 — A Modern Refinement Checker for CSP
• Internet Computer Consensus

This page was built for publication: The consensus machine: formalising consensus in the presence of malign agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535829)