Memory requirements for silent stabilization
From MaRDI portal
Publication:1818300
DOI10.1007/s002360050180zbMath0933.68156OpenAlexW2019918796WikidataQ56806107 ScholiaQ56806107MaRDI QIDQ1818300
Mohamed G. Gouda, Shlomi Dolev, Marco Schneider
Publication date: 4 January 2000
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050180
Related Items (27)
Proof labeling schemes ⋮ Tight bounds for distributed minimum-weight spanning tree verification ⋮ Self-stabilizing labeling and ranking in ordered trees ⋮ Weak vs. Self vs. Probabilistic Stabilization ⋮ Self-stabilizing systems in spite of high dynamics ⋮ Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs ⋮ Analysis of a memory-efficient self-stabilizing BFS spanning tree construction ⋮ Unifying stabilization and termination in message-passing systems ⋮ The alternator ⋮ Parallel composition for time-to-fault adaptive stabilization ⋮ Transient fault detectors ⋮ Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings ⋮ Distributed verification of minimum spanning trees ⋮ A self-stabilizing algorithm for the maximum flow problem ⋮ Self-stabilization with r-operators ⋮ Stabilizing leader election in partial synchronous systems with crash failures ⋮ Fast and compact self-stabilizing verification, computation, and fault detection of an MST ⋮ Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative ⋮ Self-stabilizing silent disjunction in an anonymous network ⋮ Deciding and verifying network properties locally with few output bits ⋮ Self-stabilizing leader election in polynomial steps ⋮ Quiescence of self-stabilizing gossiping among mobile agents in graphs ⋮ Towards efficient verification of population protocols ⋮ A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments ⋮ Optimized silent self-stabilizing scheme for tree-based constructions ⋮ Introduction to local certification ⋮ Self-stabilization with path algebra
This page was built for publication: Memory requirements for silent stabilization
