A simple calculus for proteins and cells - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

A simple calculus for proteins and cells

Résumé

The use of process calculi to represent biological systems has led to the design of different calculi such as brane calculi [1] and k-calculus [3]. Both have proved to be useful to model different types of biological systems. As an attempt to unify the two directions, we introduce the biok-calculus, a simple calculus for describing proteins and cells, in which bonds are presented by means of shared names and interactions are modelled at the domain level. Proteinprotein interactions have to be at most binary and cell interactions have to fit with sort constraints. We define the semantics of biok-calculus, analyse its properties, and discuss its expressiveness by modelling two significant examples: a signalling pathway and a virus infection.
Fichier principal
Vignette du fichier
lantar06.pdf (204.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00153157 , version 1 (08-06-2007)

Licence

Identifiants

  • HAL Id : hal-00153157 , version 1

Citer

Cosimo Laneve, Fabien Tarissan. A simple calculus for proteins and cells. Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'06), 2006, Venise, Italy. ⟨hal-00153157⟩
156 Consultations
88 Téléchargements

Partager

More