Login / Signup

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

Radha JagadeesanPrakash Panangaden
Published in: ICALP (1990)
Keyphrases