A simple calculus for proteins and cells

DOI10.1016/j.tcs.2008.04.011zbMath1151.68039OpenAlexW4205156278MaRDI QIDQ953549

Cosimo Laneve, Fabien Tarissan

Publication date: 6 November 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.011

zbMATH Keywords

process algebrasystems biologysignal transduction pathways

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37)

Related Items

Measurable stochastics for Brane calculus, Equivalences for a biological process algebra, A semantic equivalence for Bio-PEPA based on discretisation of continuous values, Causal static analysis for brane calculi

Cites Work

• Unnamed Item
• Unnamed Item
• nano\(\kappa\): A calculus for the modeling and simulation of nano devices
• A calculus of mobile processes. II
• Mobile ambients
• Membrane computing. An introduction.
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• From π-calculus to higher-order π-calculus — and back
• Computational Methods in Systems Biology