A denotational model for higher-order processes (1992)

by M Hennessy
Venue:In Proc. IEEE-LICS