scientific article; zbMATH DE number 1956561
From MaRDI portal
Publication:4417901
zbMath1033.92013MaRDI QIDQ4417901
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180302.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Modeling and querying biomolecular interaction networks ⋮ Formal molecular biology ⋮ Modelling biochemical pathways through enhanced \(\pi\)-calculus ⋮ Combining Model Reductions ⋮ Lumpability abstractions of rule-based systems ⋮ Unnamed Item ⋮ Self-assembling graphs ⋮ Fragments-based Model Reduction: Some Case Studies ⋮ Formal Cellular Machinery ⋮ Model Decomposition and Stochastic Fragments ⋮ Pathway analysis for BioAmbients ⋮ Stochastic Semantics of Signaling as a Composition of Agent-view Automata ⋮ Formal Reduction for Rule-based Models ⋮ Sustainability of RNA-interference in rule based modelling ⋮ Biological Transactions for Quantitative Models
This page was built for publication:
