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 rewritingdpo approachgraph process semanticsgraphical encoding of nominal calculi

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

(15)

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

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)