Efficient detection of a class of stable properties

DOI10.1007/BF02280830zbMath1448.68148OpenAlexW2067901504MaRDI QIDQ5136981

Laura S. Sabel, Keith Marzullo

Publication date: 30 November 2020

Published in: Distributed Computing (Search for Journal in Brave)

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

zbMATH Keywords

distributed algorithmsconsistent global statesdistributed snapshot

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (1)

Shared global states in distributed computations

Cites Work

• Termination detection for diffusing computations
• An example of stepwise refinement of distributed programs: quiescence detection
• Proving Liveness Properties of Concurrent Programs
• Time, clocks, and the ordering of events in a distributed system
• Strong stable properties in distributed systems

This page was built for publication: Efficient detection of a class of stable properties