Publication:3725535
From MaRDI portal
zbMath0594.68029MaRDI QIDQ3725535
Publication date: 1986
detection algorithms; message complexity; distributed program; local indicators; local predicate; stable global state; stable properties in distributed systems
68N25: Theory of operating systems
Related Items
On termination detection in crash-prone distributed systems with failure detectors, Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms, Symmetry breaking in distributed networks, Petri net based verification of distributed algorithms: An example, A family of optimal termination detection algorithms, Mediated Population Protocols: Leader Election and Applications