Biological transactions for quantitative models

DOI10.1016/J.ENTCS.2007.05.007MaRDI QIDQ2864196zbMATH OpenOpenAlexFDO

Authors Federica Ciocchetta, Corrado Priami

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.05.007

zbMATH Keywords

systems biologybiological transactionsstochastic \(\pi\)-calculus

Mathematics Subject Classification ID

Systems biology, networks (92C42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Constructing and visualizing chemical reaction networks from pi-calculus models
• Modelling biochemical pathways through enhanced -calculus
• A calculus of chemical systems
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Stochastic biological modelling in the presence of multiple compartments

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1956561 (Why is no real title available?)
• A calculus for long-running transactions.
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Biological transactions for quantitative models
• Communicating Sequential Processes. The First 25 Years
• Computational Methods in Systems Biology
• Foundations of Software Science and Computational Structures
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(5)

• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Biological transactions for quantitative models
• Constructing and visualizing chemical reaction networks from pi-calculus models
• The BlenX Language with Biological Transactions
• Modelling patterns of gene regulation in the bond-calculus

This page was built for publication: Biological transactions for quantitative models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864196)