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

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