Concurrent Rewriting for Graphs with Equivalences
From MaRDI portal
Publication:5756599
DOI10.1007/11817949_19zbMath1151.68503OpenAlexW2115225874MaRDI QIDQ5756599
Fabio Gadducci, Ugo Montanari, Paolo Baldan
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_19
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items
Ugo Montanari and Graph Transformation, Modelling Calculi with Name Mobility using Graphs with Equivalences