scientific article; zbMATH DE number 3956427

zbMATH Open0594.68029MaRDI QIDQ3725535FDOQ3725535

Authors: Nir Shavit, Nissim Francez 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of operating systems (68N25)

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
• Title not available (Why is that?)
• 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)