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.
This work was supported in part by the State Committee for Scientific Research (KBN), Poland, under grant KBN 3 T11C 073 28.