scientific article; zbMATH DE number 1956561
From MaRDI portal
Publication:4417901
zbMATH Open1033.92013MaRDI QIDQ4417901FDOQ4417901
Authors: Vincent Danos, Cosimo Laneve 
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180302.htm
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (26)
- Molecular interaction.
- Lumpability abstractions of rule-based systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pathway analysis for BioAmbients
- Biological transactions for quantitative models
- Formal molecular biology
- Sustainability of RNA-interference in rule based modelling
- Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+
- Computational and Information Science
- Fragments-based model reduction: some case studies
- Modeling and querying biomolecular interaction networks
- Combining model reductions
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- Model decomposition and stochastic fragments
- Formal reduction for rule-based models
- An intermediate language for the stochastic simulation of biological systems
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata
- An intermediate language for the simulation of biological systems
- The BlenX Language with Biological Transactions
- Communicating by compatibility
- Title not available (Why is that?)
- Modelling patterns of gene regulation in the bond-calculus
- Formal Cellular Machinery
- Title not available (Why is that?)
- Self-assembling graphs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417901)
