The following pages link to Local Distributed Decision (Q5494995):
Displaying 9 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)
- Node labels in local decision (Q1625609) (← links)
- Proof labeling schemes for reachability-related problems in directed graphs (Q2097332) (← links)
- Can we locally compute sparse connected subgraphs? (Q2399362) (← links)
- Locality and checkability in wait-free computing (Q2441537) (← links)
- Toward more localized local algorithms: removing assumptions concerning global knowledge (Q2441787) (← links)
- Locality and Checkability in Wait-Free Computing (Q3095336) (← links)
- (Q5090917) (← links)
