A Domain-theoretic Model for a Higher-order Process Calculus (1996)

by Radhakrishnan Jagadeesan, Prakash Panangaden
Venue:Proceedings of the 17th International Colloquium on Automata Languages and Programming