A Mechanized Theory of the π−calculus in HOL
T. F. Melham
Institution
Computer Laboratory‚ University of Cambridge
Month
January
Number
244
Year
1992
T. F. Melham