Contention is no obstacle to shared-memory multiprocessing
Communications of the ACM
Robert Thomas
A lightweight idempotent messaging protocol for faulty networks