A mechanized theory of the pi-calculus in HOL (1994)

by T F Melham
Venue:Nordic Journal of Computing