Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
From MaRDI portal
Publication:2957506
DOI10.4230/LIPIcs.FSTTCS.2012.276zbMath1354.68193OpenAlexW1606710205MaRDI QIDQ2957506
Chris Thompson-Walsh, Walter Fontana, Glynn Winskel, Jean Krivine, Jonathan Hayman, Jerome Feret, Russell S. Harmer, Vincent Danos
Publication date: 26 January 2017
Full work available at URL: https://hal.archives-ouvertes.fr/hal-00809065
Biochemistry, molecular biology (92C40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (19)
Reachability analysis via orthogonal sets of patterns ⋮ Explaining safety violations in real-time systems ⋮ Unnamed Item ⋮ Parallelism in AGREE Transformations ⋮ Causal Unfoldings and Disjunctive Causes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Containment in Rule-Based Models ⋮ Algebraic graph rewriting with controlled embedding ⋮ A structural approach to graph transformation based on symmetric Petri nets ⋮ Rigid geometric constraints for Kappa models ⋮ An algebraic approach for inferring and using symmetries in rule-based models ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Prospects for declarative mathematical modeling of complex biological systems ⋮ Labelled port graph -- a formal structure for models and computations
This page was built for publication: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
