Structuring and verifying distributed algorithms

MaRDI QIDQ2748153zbMATH OpenFDO

Authors K. Sere, Marina Waldén

Publication date 14 October 2001

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

distributed algorithmssuperpositionrefinement calculus

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Recommendations

• Modelling and verification of Distributed Algorithms
• Verification by construction of distributed algorithms
• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
• Formal Verification of Distributed Algorithms
• scientific article; zbMATH DE number 1786476
• An automata-theoretic approach to the verification of distributed algorithms
• An automata-theoretic approach to the verification of distributed algorithms
• Message-passing algorithms for the verification of distributed protocols
• scientific article; zbMATH DE number 1101604

Cited in

(8)

• Verification of distributed programs using representative interleaving sequences
• Formal Verification of Distributed Algorithms
• Structured Derivation of Semi-Synchronous Algorithms
• A strategy for automatic verification of stabilization of distributed algorithms
• Kaisa Sere: in memoriam
• scientific article; zbMATH DE number 1852172 (Why is no real title available?)
• Modelling and verification of Distributed Algorithms
• A principle for sequential reasoning about distributed algorithms

This page was built for publication: Structuring and verifying distributed algorithms

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