A mechanical proof of Segall's PIF algorithm

DOI10.1007/BF01211619zbMath0874.68264OpenAlexW2074029023MaRDI QIDQ1362774

Wim 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)

Related Items (1)

Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos

Uses Software

• NQTHM
• UNITY

Cites Work

• The verified incremental design of a distributed spanning tree algorithm: Extended abstract
• Distributed network protocols
• A Distributed Algorithm for Minimum-Weight Spanning Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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