MK++ Atomic Actions (Real and Pretended (1995)

by Richard L Ford
Venue:in Operating Systems Collected Papers