scientific article; zbMATH DE number 1956561

MaRDI QIDQ4417901zbMATH OpenFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• Formal molecular biology
• scientific article; zbMATH DE number 1950547
• scientific article; zbMATH DE number 1950559
• Molecular interaction.
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Cited in

(28)

• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+
• Pathway analysis for BioAmbients
• Sustainability of RNA-interference in rule based modelling
• An intermediate language for the stochastic simulation of biological systems
• Self-assembling graphs
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• scientific article; zbMATH DE number 1836432 (Why is no real title available?)
• Lumpability abstractions of rule-based systems
• Formal molecular biology
• Molecular interaction.
• The BlenX Language with Biological Transactions
• Bonding calculus
• Computational and Information Science
• scientific article; zbMATH DE number 1950547 (Why is no real title available?)
• Communicating by compatibility
• scientific article; zbMATH DE number 1950559 (Why is no real title available?)
• Core SBML and its formal semantics
• Fragments-based model reduction: some case studies
• An intermediate language for the simulation of biological systems
• Model decomposition and stochastic fragments
• Modelling patterns of gene regulation in the bond-calculus
• Formal reduction for rule-based models
• Modeling and querying biomolecular interaction networks
• Formal Cellular Machinery
• Stochastic Semantics of Signaling as a Composition of Agent-view Automata
• Combining model reductions
• Biological transactions for quantitative models

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)