A Mathematical Analysis on 2PL and Tree Protocol.

Yin-Fu Huang Yeh-Hao Chin

Published in: Inf. Sci. (1996)

Keyphrases

mathematical analysis
tree structure
lightweight
hierarchical structure
b tree
binary tree
tree models
real time
multi agent
distributed systems
formal analysis
security protocols
communication protocol
coloured petri nets