Mechanizing the Axiomatic Semantics for a Programming Language with Asynchronous Send and Receive in HOL. Harrison, W. Technical Report CSE-92-20, University of California at Davis, 1992.
bibtex   
@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",
}

Downloads: 0