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

by M Fiore, E Moggi, D Sangiorgi