A Simple Calculus for Proteins and Cells
From MaRDI portal
Publication:2864202
DOI10.1016/j.entcs.2007.05.013zbMath1277.68195MaRDI QIDQ2864202
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
formal methods; process algebras; systems biology; formal molecular biology; modelling biological systems
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
Related Items
A Port Graph Calculus for Autonomic Computing and Invariant Verification, Stochastic Bigraphs, Expressivity in the κ Family, The Calculus of Looping Sequences for Modeling Biological Membranes, An analysis for causal properties of membrane interactions, nano\(\kappa\): A calculus for the modeling and simulation of nano devices, 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, A Higher-Order Graph Calculus for Autonomic Computing
Cites Work