A Mechanism for Sequential Consistency in a Distributed Objects System

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.

• Type: Conference
• Year: 2004
• Where: ISCAPDCS
• Authors: Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
• Keywords: Distributed Objects System, ISCAPDCS 2004, ISCAPDCS 2007, Mathematical Model, Sequential Consistency