A Fully Abstract Model for the [pi]-calculus

Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi. A Fully Abstract Model for the [pi]-calculus. Inf. Comput., 179(1):76-117, 2002. [doi]

Abstract

Abstract is missing.