Quiescent Consistency: Defining and Verifying Relaxed Linearizability.

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim

Browse the full FM paper archive.