A Fully Abstract Domain Model for the pi-Calculus.

Ian Stark A Fully Abstract Domain Model for the pi-Calculus. 36-42 1996 LICS db/conf/lics/lics96.html#Stark96