A Methodological Construction of an Efficient Sequential Consistency Protocol.

Vicent Cholvi Antonio Fernández Ernesto Jiménez Michel Raynal

Published in: NCA (2004)

Keyphrases

lightweight
real time
neural network
tcp ip
multi agent
multi party
formal analysis
replicated data
network protocols
coloured petri nets