On certifying distributed algorithms: problem of local correctness

DOI10.1007/978-3-030-21759-4_16OpenAlexW2948225379MaRDI QIDQ6190189

Unnamed Author

Publication date: 6 February 2024

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21759-4_16

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 algorithms (68W15)

Cites Work

• Certifying algorithms
• Distributed Algorithms for Message-Passing Systems
• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
• Unnamed Item

This page was built for publication: On certifying distributed algorithms: problem of local correctness