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

by I Stark
Venue:In Proc. LICS’96