@incollection{plakal:lamport-clocks:spaa:1998,
  author	= {Plakal, Manoj and Sorin, Daniel J. and Condon, Anne E. and Hill, Mark D.},
  title		= {Lamport Clocks: Verifying a Directory Cache-Coherence Protocol},
  booktitle	= {Proceedings of the Tenth ACM Symposium on Parallel Algorithms and Architectures},
  pages		= {67--76},
  month		= {Jun},
  year		= {1998},
  urlpage	= {http://doi.acm.org/10.1145/277651.277672},
  pdf		= {http://www.cs.wisc.edu/multifacet/papers/spaa98_lamport.pdf}
}