The following pages link to The fault span of crash failures (Q5385337):
Displaying 4 items.
- Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670) (← links)
- Snap-stabilization in message-passing systems (Q666259) (← links)
- Proof labeling schemes (Q2377139) (← links)
- Resource efficient stabilization for local tasks despite unknown capacity links (Q6612539) (← links)