A fully abstract domain model for the pi-calculus (1996)

by I Stark