A domain-theoretic model for a higher-order process calculus

• Authors:

• R. Jagadeesan;Prakash Panangaden

• Affiliations:

• -;-

• Venue:
• Proceedings of the seventeenth international colloquium on Automata, languages and programming
• Year:
• 1990