Pages that link to "Item:Q1389769"
From MaRDI portal
The following pages link to The local detection paradigm and its applications to self-stabilization (Q1389769):
Displayed 22 items.
- Tight bounds for distributed minimum-weight spanning tree verification (Q372968) (← links)
- Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670) (← links)
- A self-stabilizing transformer for population protocols with covering (Q555304) (← links)
- Self-stabilizing leader election in dynamic networks (Q722199) (← links)
- Stabilizing time-adaptive protocols (Q1292427) (← links)
- Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112) (← links)
- Distributed verification of minimum spanning trees (Q1954247) (← links)
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- Randomized proof-labeling schemes (Q2002054) (← links)
- Redundancy in distributed proofs (Q2025853) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← links)
- Local certification of graphs on surfaces (Q2078616) (← links)
- A meta-theorem for distributed certification (Q2097341) (← links)
- Local certification of graphs with bounded genus (Q2104916) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Proof labeling schemes (Q2377139) (← links)
- A self-stabilizing algorithm for the median problem in partial rectangular grids and their relatives (Q2428653) (← links)
- Introduction to local certification (Q5024672) (← links)
- (Q5090916) (← links)
- Distributed Testing of Distance-k Colorings (Q5100965) (← links)
- Universal dynamic synchronous self-stabilization (Q5138377) (← links)
- A meta-theorem for distributed certification (Q6182681) (← links)