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

by I Stark
Venue:Proc. LICS 1996, IEEE