scientific article; zbMATH DE number 1950547
From MaRDI portal
Publication:4413203
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42)
Related Items (17)
An analysis for causal properties of membrane interactions ⋮ 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 ⋮ Adhesive and quasiadhesive categories ⋮ On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems ⋮ Unnamed Item ⋮ Control Flow Analysis of Generalised Boolean Networks ⋮ Formal Cellular Machinery ⋮ Expressivity in the κ Family ⋮ Control Flow Analysis for Brane Calculi ⋮ A control flow analysis for Beta-binders with and without static compartments ⋮ Causal static analysis for brane calculi ⋮ A Static Analysis for Beta-Binders
This page was built for publication:
