Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
Given a boolean predicate $\Pi$ on labeled networks (e.g., proper coloring, leader election, etc.), a self-stabilizing algorithm for $\Pi$ is a distributed algorithm that can start from any initial configuration of the network (i.e., every node has an arbitrary value assigned to each of its variable...
Saved in:
| Main Authors: | Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Discrete Mathematics & Theoretical Computer Science
2023-03-01
|
| Series: | Discrete Mathematics & Theoretical Computer Science |
| Subjects: | |
| Online Access: | http://dmtcs.episciences.org/9335/pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Javier Esparza, et al.
Published: (2025-01-01) -
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
by: Long Pham, et al.
Published: (2024-12-01) -
History-deterministic Timed Automata
by: Sougata Bose, et al.
Published: (2024-10-01) -
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Matteo Mio, et al.
Published: (2024-12-01) -
Multi-Structural Games and Beyond
by: Marco Carmosino, et al.
Published: (2024-12-01)