"A Domain-Theoretic Model for a Higher-Order Process Calculus."

Radha Jagadeesan, Prakash Panangaden (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics