Biological Transactions for Quantitative Models

DOI10.1016/j.entcs.2007.05.007zbMath1277.68173OpenAlexW1980830179MaRDI 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

zbMATH Keywords

systems biologybiological transactionsstochastic \(\pi\)-calculus

Mathematics Subject Classification ID

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

Related Items (3)

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

This page was built for publication: Biological Transactions for Quantitative Models