scientific article
From MaRDI portal
Publication:3725535
zbMath0594.68029MaRDI QIDQ3725535
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
detection algorithmsmessage complexitydistributed programlocal indicatorslocal predicatestable global statestable properties in distributed systems
Related Items (6)
Petri net based verification of distributed algorithms: An example ⋮ On termination detection in crash-prone distributed systems with failure detectors ⋮ Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms ⋮ A family of optimal termination detection algorithms ⋮ Symmetry breaking in distributed networks ⋮ Mediated Population Protocols: Leader Election and Applications
This page was built for publication:
