A Mechanized Theory of the Π−calculus in HOL
T. F. Melham
ISSN
1236−6064
Journal
Nordic Journal of Computing
Number
1
Pages
50–76
Volume
1
Year
1994
T. F. Melham