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

by I Stark
Venue:In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science