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

by M P Fiore, E Moggi, D Sangiorgi
Venue:In Proceedings of the Eleventh Annual IEEE Symposium On Logic In Computer Science (LICS’96