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

• Authors:

• Radha Jagadeesan;Prakash Panangaden

• Affiliations:

• -;-

• Venue:
• ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
• Year:
• 1990