A Mechanized Theory of the π-calculus in HOL (1994)

by T F Melham
Venue:Nordic Journal of Computing Volume