A Mechanized Theory of the Pi-Calculus in HOL

Thomas F. Melham. A Mechanized Theory of the Pi-Calculus in HOL. Nord. J. Comput., 1(1):50-76, 1994.

Abstract

Abstract is missing.