The following pages link to Randomized distributed decision (Q2256969):
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)
- Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112) (← links)
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- Randomized proof-labeling schemes (Q2002054) (← links)
- (Q4909424) (redirect page) (← links)
- Introduction to local certification (Q5024672) (← links)
- (Q5091093) (← links)
- Distributed Testing of Distance-k Colorings (Q5100965) (← links)
