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

by Alwen Tiu , Dale Miller
Venue:IN 3RD WORKSHOP ON THE FOUNDATIONS OF GLOBAL UBIQUITOUS COMPUTING
Citations:19 - 10 self