A Proof Search Specification of the π-Calculus (2004)

by Alwen Tiu, Dale Miller
Venue:IN 3RD WORKSHOP ON THE FOUNDATIONS OF GLOBAL UBIQUITOUS COMPUTING