A fully abstract denotational semantics for the calculus of higher-order communicating systems
From MaRDI portal
Publication:5940933
DOI10.1016/S0304-3975(00)00281-4zbMath0974.68109WikidataQ57006725 ScholiaQ57006725MaRDI QIDQ5940933
No author found.
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
denotational semantics; fully abstract; higher-order communicating systems; processes as first class objects
68Q55: Semantics in the theory of computing
Related Items
\(\pi\)-calculus, internal mobility, and agent-passing calculi, From CML to its process algebra, A calculus of mobile processes. I