Event Structure Semantics for Nominal Calculi

DOI10.1007/11817949_20zbMath1151.68512OpenAlexW1591386603MaRDI QIDQ5756598

Roberto Bruni, Ugo Montanari, Hernán Melgratti

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)

Related Items (12)

Behavioural logics for configuration structures ⋮ A verified algorithm enumerating event structures ⋮ Event structure semantics for multiparty sessions ⋮ 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 ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ Minimisation of event structures ⋮ A Chart Semantics for the Pi-Calculus ⋮ Probabilistic π-Calculus and Event Structures

This page was built for publication: Event Structure Semantics for Nominal Calculi