scientific article; zbMATH DE number 7317239

zbMath1457.68134arXiv1102.2654MaRDI QIDQ4964704

Bruno Pinaud, Maribel Fernández, Guy Melançon, Olivier Namet, Hélène Kirchner, Oana Andrei

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1102.2654

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42) Mathematical modeling or simulation for problems pertaining to biology (92-10)

Related Items

A graph-based framework for the analysis of access control policies, Runtime verification for biochemical programs, Labelled graph strategic rewriting for social networks, Rewriting Strategies and Strategic Rewrite Programs, A Port Graph Rewriting Approach to Relational Database Modelling, QMaude: quantitative specification and verification in rewriting logic, Unnamed Item, Parallel rewriting of attributed graphs, Strategic port graph rewriting: an interactive modelling framework, A framework for the analysis of access control policies with emergency management, Labelled port graph -- a formal structure for models and computations

Uses Software

• PORGY