Compositional Event Structure Semantics for the Internal π-Calculus
From MaRDI portal
Recommendations
- Event structure semantics of parallel extrusion in the pi-calculus
- Probabilistic -calculus and event structures
- A stable non-interleaving early operational semantics for the pi-calculus
- Event structures for the reversible early internal \(\pi\)-calculus
- A stable non-interleaving early operational semantics for the pi-calculus
Cited in
(16)- A stable non-interleaving early operational semantics for the pi-calculus
- Reversibility in the higher-order \(\pi\)-calculus
- Event structure semantics for multiparty sessions
- Typed event structures and the \(\pi\)-calculus (extended abstract)
- Probabilistic -calculus and event structures
- Event structure semantics of parallel extrusion in the pi-calculus
- A truly concurrent game model of the asynchronous -calculus
- CSP is expressive enough for
- Determinacy in a synchronous -calculus
- Order algebras: a quantitative model of interaction
- A stable non-interleaving early operational semantics for the pi-calculus
- Concurrency cannot be observed, asynchronously
- Event Structure Semantics for Nominal Calculi
- Event structures for the reversible early internal \(\pi\)-calculus
- Global types and event structure semantics for asynchronous multiparty sessions
- Typed event structures and the linear \(\pi \)-calculus
This page was built for publication: Compositional Event Structure Semantics for the Internal π-Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525646)
