The following pages link to Maurice P. Herlihy (Q1176283):
Displaying 4 items.
- Dynamic analysis of the arrow distributed protocol (Q863197) (← links)
- Self-stabilizing smoothing and balancing networks (Q2375300) (← links)
- Atomic snapshots using lattice agreement (Q5136986) (← links)
- Tight bounds for connectivity and set agreement in Byzantine synchronous systems (Q6487508) (← links)
