A fully abstract denotational model for higher-order processes (1993)

by M Hennessy
Venue:In 8th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer