A Domain-theoretic Model for a Higher-order Process Calculus (1996)
by
Radhakrishnan Jagadeesan
,
Prakash Panangaden
| Venue: | Proceedings of the 17th International Colloquium on Automata Languages and Programming |
| Citations: | 10 - 2 self |
Document Versions
| A Domain-theoretic Model for a Higher-order Process Calculus –Radhakrishnan Jagadeesan, Prakash Panangaden — 1996 — Proceedings of the 17th International Colloquium on Automata Languages and Programming |
