Containment in Rule-Based Models

DOI10.1016/J.ENTCS.2012.05.019MaRDI QIDQ5404101zbMATH OpenOpenAlexWikidataFDO

Authors C. D. Thompson-Walsh, Jonathan Hayman, 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)

Recommendations

• Theory and practice of constraint handling rules
• A complete and terminating execution model for constraint handling rules
• Containment logics: Algebraic Counterparts and Reduced Models
• scientific article; zbMATH DE number 1337859
• Quantified constraint handling rules
• scientific article; zbMATH DE number 4005604
• scientific article; zbMATH DE number 1453071

Cites work

• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• Abstract Interpretation of Cellular Signalling Networks
• Brane Calculi
• Formal molecular biology
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Multi-level modelling via stochastic multi-level multiset rewriting
• Rule-Based Modelling of Cellular Signalling
• Stochastic bigraphs
• The Space and Motion of Communicating Agents

Cited in

(9)

• Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
• Compact representation of photosynthesis dynamics by rule-based models
• Rule-based modelling and tunable resolution
• Constraining rule-based dynamics with types
• Rigid geometric constraints for Kappa models
• scientific article; zbMATH DE number 1983045 (Why is no real title available?)
• Pattern graphs and rule-based models: the semantics of Kappa
• Formal relationships between geometrical and classical models for concurrency
• Complex functional rates in rule-based languages for biochemistry

Describes a project that uses

Uses Software

• BioNetGen

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

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