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

by M P Fiore, E Moggi, D Sangiorgi
Venue:Inf. Comput