Event Structure Semantics for Nominal Calculi
From MaRDI portal
Publication:5756598
DOI10.1007/11817949_20zbMath1151.68512MaRDI 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
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Typed event structures and the linear \(\pi \)-calculus, 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, A Chart Semantics for the Pi-Calculus, Probabilistic π-Calculus and Event Structures, 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