D.: A fully abstract model for the π-calculus (2002)

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