A proof search specification of the π-calculus (2004)

by A Tiu, D Miller
Venue:In 3rd Workshop on the Foundations of Global Ubiquitous Computing. ENTCS