Stabilization-preserving atomicity refinement (1999)

by Mikhail Nesterenko, Anish Arora
Venue:IN DISC99 DISTRIBUTED COMPUTING 13TH INTERNATIONAL SYMPOSIUM