Local-spin, Abortable Mutual Exclusion Joe Rideout.
Introduction System model and group communication Fault-tolerant services
Local-spin, Abortable Mutual Exclusion