Event Structure Semantics for Nominal Calculi
From MaRDI portal
Publication:5756598
DOI10.1007/11817949_20zbMATH Open1151.68512OpenAlexW1591386603MaRDI QIDQ5756598FDOQ5756598
Authors: Roberto Bruni, Hernan Melgratti, Ugo Montanari 
Publication date: 4 September 2007
Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817949_20
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (17)
- Behavioural logics for configuration structures
- A Finite-state Approach to Events in Natural Language Semantics
- Declarative event based models of concurrency and refinement in psi-calculi
- 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
- Title not available (Why is that?)
- 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)
