Publication:4413203
From MaRDI portal
zbMath1053.92021MaRDI QIDQ4413203
Publication date: 17 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2602/26020034.htm
68R10: Graph theory (including graph drawing) in computer science
92C40: Biochemistry, molecular biology
68Q42: Grammars and rewriting systems
Related Items
Control Flow Analysis for Brane Calculi, Adhesive and quasiadhesive categories, Control Flow Analysis of Generalised Boolean Networks, Formal Cellular Machinery, Expressivity in the κ Family, Hypothesizing about signaling networks, Modeling and querying biomolecular interaction networks, Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice, Formal molecular biology, Modelling biochemical pathways through enhanced \(\pi\)-calculus, BioAmbients: an abstraction for biological compartments, A control flow analysis for Beta-binders with and without static compartments, Causal static analysis for brane calculi, A Static Analysis for Beta-Binders, On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems