A Mechanism for Sequential Consistency in a Distributed Objects System.
Cristian Ţăpuş, Aleksey Nogin, Jason J. Hickey, Jerome White · Parallel and Distributed Computing Systems (ISCA) · 2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level overview of the protocol, we give a brief discussion of the implementation details. We also provide a mathematical model that we used to prove the correctness of our approach.