Skip to main content

A Mechanized Theory of the π−calculus in HOL

T. F. Melham

Institution
Computer Laboratory‚ University of Cambridge
Month
January
Number
244
Year
1992