Constraining rule-based dynamics with types

DOI10.1017/S0960129512000114MaRDI QIDQ4917189zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Russ Harmer, Glynn Winskel

Publication date 29 April 2013

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129512000114

zbMATH Keywords

Kappasite graphs

Mathematics Subject Classification ID

Applications of graph theory (05C90) Special categories (18B99) Grammars and rewriting systems (68Q42) Systems biology, networks (92C42)

Recommendations

• Pattern graphs and rule-based models: the semantics of Kappa
• Containment in Rule-Based Models
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Complex functional rates in rule-based languages for biochemistry
• Proving the absence of unbounded polymers in rule-based models

Cites work

• Abstract Interpretation of Cellular Signalling Networks
• Categories of partial maps
• Rule-Based Modelling of Cellular Signalling

Cited in

(9)

• Proving the absence of unbounded polymers in rule-based models
• An algebraic approach for inferring and using symmetries in rule-based models
• Towards measurable types for dynamical process modeling languages
• scientific article; zbMATH DE number 3982838 (Why is no real title available?)
• Pattern graphs and rule-based models: the semantics of Kappa
• A knowledge representation meta-model for rule-based modelling of signalling networks
• Counters in Kappa: semantics, simulation, and static analysis
• Causal graph dynamics and Kan extensions
• Type interaction models and the rule of six

This page was built for publication: Constraining rule-based dynamics with types

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