A fully abstract model for the pi-calculus (0)

by Marcelo P Fiore, Eugenio Moggi, Davide Sangiorgi
Venue:Information and Computation