Biological Transactions for Quantitative Models
From MaRDI portal
Publication:2864196
DOI10.1016/j.entcs.2007.05.007zbMath1277.68173MaRDI QIDQ2864196
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
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
Related Items
Modelling patterns of gene regulation in the bond-calculus, Bio-PEPA: A framework for the modelling and analysis of biological systems, Biological Transactions for Quantitative Models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Foundations of Software Science and Computational Structures
- Communicating Sequential Processes. The First 25 Years
- Computational Methods in Systems Biology
- Formal Methods for Open Object-Based Distributed Systems