Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees

Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safety of a protocol implementing session guarantees using server-based version vectors.

• Type: Conference
• Year: 2005
• Where: ICCS
• Authors: Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak
• Keywords: ICCS 2005, Protocol Implementing Session, Server-based Version Vectors, Session Guarantees