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

by I Stark
Venue:In LICS 96