scientific article; zbMATH DE number 7340567

MaRDI QIDQ4986740zbMATH OpenFDO

Authors Maribel Fernández, Sébastien Maulat

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1211.4098, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2012.3

Mathematics Subject Classification ID

Logic in computer science (03B70) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A rewriting calculus for multigraphs with ports
• scientific article; zbMATH DE number 1405629
• A higher-order implementation of rewriting
• Strategic port graph rewriting: an interactive modelling framework
• A port graph rewriting approach to relational database modelling
• Higher-order rewrite systems and their confluence
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Graph Transformations
• A hypergraph rewriting language and its semantics

Cited in

(8)

• Reducibility between classes of port graph grammar.
• A strategic graph rewriting model of rational negligence in financial markets
• Labelled port graph -- a formal structure for models and computations
• A higher-order calculus for graph transformation
• A higher-order graph calculus for autonomic computing
• Strategic port graph rewriting: an interactive modelling framework
• PORGY: strategy-driven interactive transformation of graphs
• A port graph calculus for autonomic computing and invariant verification

This page was built for publication:

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