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

Jerzy Brzeziński; Cezary Sobaniec; Dariusz Wawrzyniak

doi:10.1007/11428862_58

System Informacji Naukowej Politechniki Poznańskiej

PL EN

Strona główna / Publikacje / Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees

Zgłoś uwagę

Rozdział

Pobierz BibTeX

Tytuł

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

Autorzy

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 ]} pracownik

Rok publikacji

2005

Typ rozdziału

referat

Język publikacji

angielski

Streszczenie

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.

Strony (od-do)

423 - 430

DOI

10.1007/11428862_58

URL

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

Książka

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

Zaprezentowany na

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

System tworzony przez Politechnikę Poznańską oraz Poznańskie Centrum Superkomputerowo-Sieciowe

Zaloguj się przez eKonto, aby dodać do SIN