A Fully-Abstract Model for the $\pi-$ calculus (1996)

by M P Fiore, E Moggi, D Sangiorgi
Venue:in Proceedings of Eleventh Annual IEEE Symposium on Logic in Computer Science, IEEE Computer