Making the Unobservable, Unobservable
From MaRDI portal
Publication:5166617
DOI10.1016/j.entcs.2009.06.043zbMath1291.68290OpenAlexW2165701218MaRDI QIDQ5166617
Paweł Sobociński, Julian Rathke
Publication date: 27 June 2014
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.2009.06.043
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Encoding Asynchronous Interactions Using Open Petri Nets ⋮ Deriving structural labelled transitions for mobile ambients
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A calculus of communicating systems
- The chemical abstract machine
- On bisimulations for the asynchronous \(\pi\)-calculus
- On reduction-based process semantics
- Locating reaction with 2-categories
- Deriving Structural Labelled Transitions for Mobile Ambients
- Barbed bisimulation
- From rewrite rules to bisimulation congruences