Lamport Clocks: Verifying a Directory Cache-Coherence Protocol.

Manoj Plakal Daniel J. Sorin Anne Condon Mark D. Hill

Published in: SPAA (1998)

Keyphrases

lightweight
model checking
formal analysis
security protocols
network protocols
case study
tcp ip
cryptographic protocols
communication protocols
rfid systems
coloured petri nets