A Rewriting Calculus for Multigraphs with Ports

DOI10.1016/j.entcs.2008.10.035zbMath1286.68256OpenAlexW2028130113WikidataQ62041052 ScholiaQ62041052MaRDI QIDQ5415656

Hélène Kirchner, Oana Andrei

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.035

zbMATH Keywords

term rewritingrewriting calculusmultigraph rewritingmultigraphs with ports

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Related Items (8)

Runtime verification for biochemical programs ⋮ Labelled graph strategic rewriting for social networks ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ A Rewriting Calculus for Multigraphs with Ports ⋮ A Port Graph Calculus for Autonomic Computing and Invariant Verification ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Labelled Graph Rewriting Meets Social Networks ⋮ Visual Theorem Proving with the Incredible Proof Machine

Uses Software

• Tom
• GraphML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Formal molecular biology
• Handbook of Graph Grammars and Computing by Graph Transformation
• A Rewriting Calculus for Multigraphs with Ports
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

This page was built for publication: A Rewriting Calculus for Multigraphs with Ports