Message-passing algorithms for the verification of distributed protocols

DOI10.1007/978-3-642-54013-4_13MaRDI QIDQ2938068zbMATH OpenOpenAlexFDO

Authors Loïg Jezequel, Javier Esparza

Publication date 13 January 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54013-4_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Recommendations

• An algorithmic technique for protocol verification
• Modelling and verification of Distributed Algorithms
• scientific article; zbMATH DE number 2080915
• Equations for message passing
• Parameterized verification and model checking for distributed broadcast protocols

Cited in

(6)

• Distributed Algorithms for Message-Passing Systems
• scientific article; zbMATH DE number 3997153 (Why is no real title available?)
• Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
• Verification of multiprocess probabilistic protocols
• Finite-state self-stabilizing protocols in message-passing systems
• Structuring and verifying distributed algorithms

This page was built for publication: Message-passing algorithms for the verification of distributed protocols

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