An assertional proof of Rana's algorithm

DOI10.1016/0020-0190(94)90059-0zbMath0795.68081OpenAlexW2095125772MaRDI QIDQ1318748

Michiel C. van Wezel, Gerard Tel

Publication date: 5 April 1994

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)90059-0

zbMATH Keywords

livenesssafetydistributed computingprogram correctnesscorrectness prooftermination detection algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Cites Work

• An assertional correctness proof of a distributed algorithm
• Self-stabilizing extensions for message-passing systems
• Distributed termination detection for dynamic systems
• A distributed solution of the distributed termination problem
• Derivation of a termination detection algorithm for distributed computations
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: An assertional proof of Rana's algorithm