Sign in

Lamport Clocks: Verifying a Directory Cache-Coherence Protocol.

Manoj PlakalDaniel J. SorinAnne CondonMark 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