Sciweavers

ICCS
2005
Springer
14 years 5 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 safe...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...