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

by Ian Stark
Venue:In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science