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
{"_id":"KChy7PCZanRt845Tb","bibbaseid":"harrison-levitt-archer-anholmechanizationoftheaxiomaticsemanticsofasimpledistributedprogramminglanguage-1992","downloads":0,"creationDate":"2016-07-28T19:31:33.247Z","title":"An HOL Mechanization of the Axiomatic Semantics of a Simple Distributed Programming Language","author_short":["Harrison, W.","Levitt, K.","Archer, M."],"year":1992,"bibtype":"inproceedings","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["William"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]},{"firstnames":["Karl"],"propositions":[],"lastnames":["Levitt"],"suffixes":[]},{"firstnames":["Myla"],"propositions":[],"lastnames":["Archer"],"suffixes":[]}],"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":"","bibtex":"@InProceedings{harrison92,\n author = \"William Harrison and Karl Levitt and Myla Archer\",\n title = \"An HOL Mechanization of the Axiomatic Semantics of a Simple\nDistributed Programming Language\",\n booktitle = \"Proceedings of the International Workshop on Higher-Order Logic\n Theorem Proving and Its Applications\",\n month = \"September\",\n address = \"Leuven, Belgium\",\n year = \"1992\",\n pages = \"347-358\",\n hconf = \"yes\",\n abstract = \"\",\n}\n\n\n","author_short":["Harrison, W.","Levitt, K.","Archer, M."],"key":"harrison92","id":"harrison92","bibbaseid":"harrison-levitt-archer-anholmechanizationoftheaxiomaticsemanticsofasimpledistributedprogramminglanguage-1992","role":"author","urls":{},"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/etc/publications.html"}}},"search_terms":["hol","mechanization","axiomatic","semantics","simple","distributed","programming","language","harrison","levitt","archer"],"keywords":[],"authorIDs":["iCiuqX2A39oLpzRv9"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}