Constraining rule-based dynamics with types

DOI10.1017/S0960129512000114zbMath1317.68086OpenAlexW2076887398MaRDI QIDQ4917189

Glynn Winskel, Russ Harmer, Vincent Danos

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) Grammars and rewriting systems (68Q42) Special categories (18B99) Systems biology, networks (92C42)

Related Items

Unnamed Item ⋮ Proving the absence of unbounded polymers in rule-based models ⋮ An algebraic approach for inferring and using symmetries in rule-based models

Cites Work

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