Event Structure Semantics for Nominal Calculi
From MaRDI portal
Recommendations
Cited in
(17)- Concurrent semantics for fusions: weak prime domains and connected event structures
- Minimisation of event structures
- Behavioural logics for configuration structures
- A verified algorithm enumerating event structures
- Event structure semantics for multiparty sessions
- Declarative event based models of concurrency and refinement in psi-calculi
- A chart semantics for the pi-calculus
- Probabilistic -calculus and event structures
- Event structure semantics of parallel extrusion in the pi-calculus
- Ugo Montanari and Graph Transformation
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- 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?)
- A Finite-state Approach to Events in Natural Language Semantics
- Concurrency models with causality and events as psi-calculi
- Typed event structures and the linear \(\pi \)-calculus
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)
