Event Structure Semantics for Nominal Calculi
From MaRDI portal
Publication:5756598
Recommendations
Cited in
(17)- Behavioural logics for configuration structures
- Declarative event based models of concurrency and refinement in psi-calculi
- A Finite-state Approach to Events in Natural Language Semantics
- Typed event structures and the linear \(\pi \)-calculus
- Probabilistic \(\pi\)-calculus and event structures
- Event structure semantics of parallel extrusion in the pi-calculus
- A verified algorithm enumerating event structures
- Ugo Montanari and Graph Transformation
- Ugo Montanari and Concurrency Theory
- Models of Computation: A Tribute to Ugo Montanari’s Vision
- scientific article; zbMATH DE number 3954910 (Why is no real title available?)
- Concurrency models with causality and events as psi-calculi
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Event structure semantics for multiparty sessions
- A chart semantics for the pi-calculus
- Minimisation of event structures
This page was built for publication: Event Structure Semantics for Nominal Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756598)