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

Radha Jagadeesan, Prakash Panangaden

Browse the full ICALP paper archive.