Adversarial contention resolution for simple channels
Obstruction-free synchronization: double-ended queues as an example