Concurrent Rewriting for Graphs with Equivalences

DOI10.1007/11817949_19MaRDI QIDQ5756599zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Fabio Gadducci, 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_19

zbMATH Keywords

concurrent graph rewritinggraph process semanticsgraphical encoding of nominal calculidpo approach

Mathematics Subject Classification ID

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

Recommendations

• Modelling calculi with name mobility using graphs with equivalences
• Concurrent graph and term graph rewriting
• scientific article; zbMATH DE number 2242585
• Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs
• scientific article; zbMATH DE number 1497812

Cited in

(14)

• A calculus of concurrent graph-rewriting processes
• Modelling calculi with name mobility using graphs with equivalences
• Graph rewriting, constraint solving and tiles for coordinating distributed systems
• Concurrent graph and term graph rewriting
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 2242585 (Why is no real title available?)
• Hypergraph construction and its application to the static analysis of concurrent systems
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• Parallel Graph Rewriting with Overlapping Rules
• Introducing symmetry to graph rewriting systems with process abstraction
• Ugo Montanari and Graph Transformation
• Ambient graph rewriting
• Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs
• Extending graph rewriting with copying

This page was built for publication: Concurrent Rewriting for Graphs with Equivalences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756599)