scientific article; zbMATH DE number 3956427

MaRDI QIDQ3725535zbMATH OpenFDO

Authors Nir Shavit, Nissim Francez

Publication date 1986

zbMATH Keywords

detection algorithmsmessage complexitydistributed programlocal indicatorslocal predicatestable global statestable properties in distributed systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

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

Cited in

(11)

• Strong stable properties in distributed systems
• Symmetry breaking in distributed networks
• On termination detection in crash-prone distributed systems with failure detectors
• Mediated population protocols: leader election and applications
• Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms
• Efficient detection of a locally stable predicate in a distributed system
• Principles of Distributed Systems
• scientific article; zbMATH DE number 3926228 (Why is no real title available?)
• A family of optimal termination detection algorithms
• Efficient detection of a class of stable properties
• Petri net based verification of distributed algorithms: An example

This page was built for publication:

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