Fault-scalable Byzantine fault-tolerant services
Obstruction-free synchronization: double-ended queues as an example