Containment in Rule-Based Models

DOI10.1016/j.entcs.2012.05.019zbMath1283.92045OpenAlexW1963603549WikidataQ113318106 ScholiaQ113318106MaRDI QIDQ5404101

Jonathan Hayman, C. D. Thompson-Walsh, Glynn Winskel

Publication date: 21 March 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.2012.05.019

zbMATH Keywords

regionsbiochemical networksKapparule-based modellingSPO-rewriting

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Related Items (1)

Formal Relationships Between Geometrical and Classical Models for Concurrency

Uses Software

• BioNetGen

Cites Work

• Unnamed Item
• Formal molecular biology
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Rule-Based Modelling of Cellular Signalling
• The Space and Motion of Communicating Agents
• Multi-level modelling via stochastic multi-level multiset rewriting
• Stochastic Bigraphs
• Abstract Interpretation of Cellular Signalling Networks
• Brane Calculi

This page was built for publication: Containment in Rule-Based Models