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

Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi

Browse the full LICS paper archive.