A rewriting calculus for multigraphs with ports

DOI10.1016/J.ENTCS.2008.10.035MaRDI QIDQ5415656zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

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

Cites work

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

Cited in

(12)

• Runtime verification for biochemical programs
• scientific article; zbMATH DE number 7340567 (Why is no real title available?)
• 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 port graph calculus for autonomic computing and invariant verification
• A rewriting calculus for multigraphs with ports
• 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

Describes a project that uses

Uses Software

• GraphML
• Tom

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)