Safety of a client-based version vector consistency protocol of session guarantees
[ 1 ] Instytut Informatyki (II), Wydział Informatyki i Zarządzania, Politechnika Poznańska | [ P ] employee
2006
chapter in monograph / paper
english
EN Session guarantees are used to manage consistency of replicas in distributed systems with mobile clients. This paper presents and formally proves safety of a novel consistency protocol of session guarantees using client-based version vectors. Client-based version vectors represent sets of writes resulting from definitions of session guarantees more accurately, which results in a protocol performing better then the standard protocol using server-based version vectors.
98 - 107