A Domain-theoretic Model for a Higher-order Process Calculus (1996)

Cached

Download Links

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