Pages that link to "Item:Q2942763"
From MaRDI portal
The following pages link to Memory space requirements for self-stabilizing leader election protocols (Q2942763):
Displaying 8 items.
- Stabilizing leader election in partial synchronous systems with crash failures (Q666011) (← links)
- A space-efficient self-stabilizing algorithm for measuring the size of ring networks (Q1041735) (← links)
- Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative (Q1741967) (← links)
- Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
- Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings (Q1954232) (← links)
- Constant-Space Localized Byzantine Consensus (Q3540228) (← links)
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models (Q4991932) (← links)
- Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)