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