A localizing directory coherence protocol.

Collin McCurdy Charles N. Fischer

Published in: WMPI (2004)

Keyphrases

lightweight
coloured petri nets
metadata
hierarchical structure
network protocols
file transfer
formal analysis
database
real time
social networks