@inproceedings{PavlovicD:CSFW01,
  title = "A compositional logic for protocol correctness",
  author = "Nancy Durgin and John C. Mitchell and Dusko Pavlovic",
  year = "2001",
  booktitle = "Proceedings of CSFW 2001",
  editor = "Steve Schneider",
  pages = "241--255",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLPC.ps",
}