A mechanical proof of Segall's PIF algorithm

DOI10.1007/BF01211619MaRDI QIDQ1362774zbMATH OpenOpenAlexFDO

Authors W. H. Hesselink

Publication date 10 November 1997

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01211619

zbMATH Keywords

distributed algorithmpropagation of information with feedback

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Recommendations

• The verified incremental design of a distributed spanning tree algorithm: Extended abstract
• A computer checked algebraic verification of a distributed summation algorithm
• scientific article; zbMATH DE number 222692
• Formal Verification of Distributed Algorithms

Cites work

• scientific article; zbMATH DE number 50008 (Why is no real title available?)
• scientific article; zbMATH DE number 193479 (Why is no real title available?)
• scientific article; zbMATH DE number 732976 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• A Distributed Algorithm for Minimum-Weight Spanning Trees
• Distributed network protocols
• The verified incremental design of a distributed spanning tree algorithm: Extended abstract

Cited in

(5)

• An assertional proof of Rana's algorithm
• Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
• scientific article; zbMATH DE number 4055011 (Why is no real title available?)
• Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS
• A computer checked algebraic verification of a distributed summation algorithm

Describes a project that uses

Uses Software

• NQTHM
• UNITY

This page was built for publication: A mechanical proof of Segall's PIF algorithm

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