An HOL Mechanization of the Axiomatic Semantics of a Simple Distributed Programming Language. Harrison, W., Levitt, K., & Archer, M. In Proceedings of the International Workshop on Higher-Order Logic Theorem Proving and Its Applications, pages 347-358, Leuven, Belgium, September, 1992.
bibtex   
@InProceedings{harrison92,
  author =       "William Harrison and Karl Levitt and Myla Archer",
  title =        "An HOL Mechanization of the Axiomatic Semantics of a Simple
Distributed Programming Language",
  booktitle =    "Proceedings of the International Workshop on Higher-Order Logic
  Theorem Proving and Its Applications",
  month = "September",
  address = "Leuven, Belgium",
  year =         "1992",
  pages =        "347-358",
  hconf = "yes",
  abstract = "",
}

Downloads: 0