Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol.

Roberto Baldoni Jean-Michel Hélary Michel Raynal

Published in: Inf. Comput. (2001)

Keyphrases

formal analysis
cryptographic protocols
real time
lightweight
low overhead
confusion matrix
coloured petri nets
neural network
multi agent
distributed systems
business processes
distributed databases
communication protocol
application layer
network protocols