Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees.

Jerzy Brzezinski Cezary Sobaniec Dariusz Wawrzyniak

Published in: ICCSA (5) (2006)

Keyphrases

ip address
lightweight
messages exchanged
feature vectors
client server architecture
client server
correctness criterion
replicated data
network protocols
transport protocol
formal analysis
tcp ip
cryptographic protocols
vector space
distributed databases
convergence proof
mobile devices