A simple calculus for proteins and cells

DOI10.1016/J.ENTCS.2007.05.013MaRDI QIDQ2864202zbMATH OpenOpenAlexFDO

Authors Fabien Tarissan, Cosimo Laneve

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.013

zbMATH Keywords

formal methodsformal molecular biologymodelling biological systemsprocess algebrassystems biology

Mathematics Subject Classification ID

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

Recommendations

• A simple calculus for proteins and cells
• Formal molecular biology
• Brane Calculi
• scientific article; zbMATH DE number 1950547
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

Cites work

• Brane Calculi
• Computational Methods in Systems Biology
• Formal molecular biology
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Mobile ambients
• Self-assembling graphs

Cited in

(16)

• Formal molecular biology
• A Petri net view of covalent bonds
• Stochastic biological modelling in the presence of multiple compartments
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• An analysis for causal properties of membrane interactions
• A higher-order graph calculus for autonomic computing
• A flat process calculus for nested membrane interactions
• A port graph calculus for autonomic computing and invariant verification
• Stochastic bigraphs
• Expressivity in the \(\kappa\) family
• The Calculus of Looping Sequences for Modeling Biological Membranes
• Computational and Information Science
• Computational Methods in Systems Biology
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
• A simple calculus for proteins and cells
• nano\(\kappa\): A calculus for the modeling and simulation of nano devices

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 Q2864202)