A rewriting calculus for multigraphs with ports

DOI10.1016/J.ENTCS.2008.10.035zbMATH Open1286.68256DBLPjournals/entcs/AndreiK08OpenAlexW2028130113WikidataQ62041052 ScholiaQ62041052MaRDI QIDQ5415656FDOQ5415656

Authors: Oana Andrei, Hélène Kirchner 

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

Recommendations

• Labelled port graph -- a formal structure for models and computations
• A rewriting calculus for cyclic higher-order term graphs
• Towards a sharing strategy for the graph rewriting calculus
• Set-theoretic graph rewriting
• Theoretical Computer Science

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)

Cites Work

• Formal molecular biology
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A rewriting calculus for multigraphs with ports
• Handbook of Graph Grammars and Computing by Graph Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rewrite strategies in the rewriting calculus
• Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
• From chemical rules to term rewriting
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

Cited In (12)

• Runtime verification for biochemical programs
• Title not available (Why is that?)
• Graph Rewriting Components
• Labelled graph strategic rewriting for social networks
• Labelled graph rewriting meets social networks
• A higher-order graph calculus for autonomic computing
• A rewriting calculus for multigraphs with ports
• A port graph calculus for autonomic computing and invariant verification
• Visual theorem proving with the Incredible Proof Machine
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Strategic port graph rewriting: an interactive modelling framework
• Labelled port graph -- a formal structure for models and computations

Uses Software

• Tom
• GraphML

This page was built for publication: A rewriting calculus for multigraphs with ports

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