A simple calculus for proteins and cells
From MaRDI portal
Publication:953549
DOI10.1016/J.TCS.2008.04.011zbMATH Open1151.68039OpenAlexW4205156278MaRDI QIDQ953549FDOQ953549
Authors: 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
Recommendations
Biochemistry, molecular biology (92C40) Cell biology (92C37) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Membrane computing. An introduction.
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of mobile processes. II
- Mobile ambients
- From π-calculus to higher-order π-calculus — and back
- Computational Methods in Systems Biology
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
Cited In (7)
- Equivalences for a biological process algebra
- Measurable stochastics for Brane calculus
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Formal molecular biology
- A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday
- Causal static analysis for brane calculi
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
This page was built for publication: A simple calculus for proteins and cells
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953549)
