Sciweavers

ICCS
2005
Springer

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

13 years 10 months ago
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.
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICCS
Authors Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak
Comments (0)