@TechReport{tr92b,
  author = 	 {William Harrison},
  title = 	 {{Mechanizing the Axiomatic Semantics for a Programming Language with Asynchronous Send and Receive in HOL}},
  institution =  {University of California at Davis},
  number =       "CSE-92-20",
  year = 	 1992,
  htr =          "yes",
}

{"_id":"EMYyZYftDi9ZCoQGb","bibbaseid":"harrison-mechanizingtheaxiomaticsemanticsforaprogramminglanguagewithasynchronoussendandreceiveinhol-1992","downloads":1,"creationDate":"2016-07-28T19:31:33.389Z","title":"Mechanizing the Axiomatic Semantics for a Programming Language with Asynchronous Send and Receive in HOL","author_short":["Harrison, W."],"year":1992,"bibtype":"techreport","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["William"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]}],"title":"Mechanizing the Axiomatic Semantics for a Programming Language with Asynchronous Send and Receive in HOL","institution":"University of California at Davis","number":"CSE-92-20","year":"1992","htr":"yes","bibtex":"@TechReport{tr92b,\n author = \t {William Harrison},\n title = \t {{Mechanizing the Axiomatic Semantics for a Programming Language with Asynchronous Send and Receive in HOL}},\n institution = {University of California at Davis},\n number = \"CSE-92-20\",\n year = \t 1992,\n htr = \"yes\",\n}\n","author_short":["Harrison, W."],"key":"tr92b","id":"tr92b","bibbaseid":"harrison-mechanizingtheaxiomaticsemanticsforaprogramminglanguagewithasynchronoussendandreceiveinhol-1992","role":"author","urls":{},"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/etc/publications.html"}},"downloads":1},"search_terms":["mechanizing","axiomatic","semantics","programming","language","asynchronous","send","receive","hol","harrison"],"keywords":[],"authorIDs":["iCiuqX2A39oLpzRv9"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}