Efficient detection of a class of stable properties

DOI10.1007/BF02280830MaRDI QIDQ5136981zbMATH OpenOpenAlexFDO

Authors Keith Marzullo, Laura S. Sabel

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 algorithms (68W15) Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 3956427
• Strong stable properties in distributed systems
• Efficient detection of a locally stable predicate in a distributed system
• Principles of Distributed Systems
• On distributed snapshots

Cites work

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

Cited in

(7)

• Shared global states in distributed computations
• Strong stable properties in distributed systems
• scientific article; zbMATH DE number 3956427 (Why is no real title available?)
• Efficient detection of a locally stable predicate in a distributed system
• Principles of Distributed Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3926228 (Why is no real title available?)

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

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