Protocol for Taking Object-Based Checkpoints.

Katsuya Tanaka Makoto Takizawa

Published in: DEXA (2000)

Keyphrases

lightweight
communication protocol
formal analysis
security protocols
tcp ip
coloured petri nets
database
database systems
multi party
communication protocols
group communication
network simulator
network protocols