Active Evaluation Contexts for Reaction Semantics
From MaRDI portal
Publication:2866316
DOI10.1016/j.entcs.2006.09.014zbMath1277.68127OpenAlexW2135653275MaRDI QIDQ2866316
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.014
process algebrastructural operational semanticscalculus of communicating systemsBioAmbientsreaction semanticsgeneral choice
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A context dependent equivalence between processes
- A calculus of communicating systems
- The chemical abstract machine
- Mobile ambients
- BioAmbients: an abstraction for biological compartments
- Compositionality Through an Operational Semantics of Contexts
- Communicating sequential processes
- Controlling interference in ambients
- Foundations of Security Analysis and Design II
- From rewrite rules to bisimulation congruences