Event Structure Semantics for Nominal Calculi

DOI10.1007/11817949_20MaRDI QIDQ5756598zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Event structure semantics of parallel extrusion in the pi-calculus
• Compositional Event Structure Semantics for the Internal π-Calculus
• scientific article; zbMATH DE number 4018370
• An event structure semantics for graph grammars with parallel productions
• scientific article; zbMATH DE number 4119660

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)