A Fully-Abstract Model for the pi-Calculus (Extended Abstract).

Marcelo P. Fiore Eugenio Moggi Davide Sangiorgi A Fully-Abstract Model for the pi-Calculus (Extended Abstract). 43-54 1996 LICS db/conf/lics/lics96.html#FioreMS96