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

Jerzy Brzeziński; Cezary Sobaniec; Dariusz Wawrzyniak

doi:10.1007/11428862_58

Scientific Information System of the Poznań University of Technology

PL EN

Main page / Publications / Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees

Submit a comment

Chapter

Download BibTeX

Title

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

Authors

Jerzy Brzeziński ^{[ 1 ][ P ]}
Cezary Sobaniec ^{[ 1 ][ P ]}
Dariusz Wawrzyniak ^{[ 1 ][ P ]}

^{[ 1 ]} Instytut Informatyki (II), Wydział Informatyki i Zarządzania, Politechnika Poznańska | ^{[ P ]} employee

Year of publication

2005

Chapter type

paper

Publication language

english

Abstract

EN 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.

Pages (from - to)

423 - 430

DOI

10.1007/11428862_58

URL

https://link.springer.com/chapter/10.1007/11428862_58

Book

Computational Science – ICCS 2005. 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

Presented on

5th International Conference on Computational Science, ICCS 2005, 22-25.05.2005, Atlanta, USA

System created by Poznań University of Technology and Poznan Supercomputing and Networking Center

Log in through eKonto to add to SIS