Formal Cellular Machinery - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Electronic Notes in Theoretical Computer Science Année : 2012

Formal Cellular Machinery

Troels C. Damgaard
  • Fonction : Auteur
Espen Hojsgaard
  • Fonction : Auteur
Jean Krivine
Connectez-vous pour contacter l'auteur

Résumé

Various calculi have been proposed to model diff erent levels of abstraction of cell signaling and molecular interactions. In this paper we propose a framework inspired by some of these calculi that structures interactions and agents from the most basic elements of the cell (protein interaction sites) to higher order ones (compartments and molecular species).
Fichier principal
Vignette du fichier
fcm.pdf (447.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00692416 , version 1 (30-04-2012)

Identifiants

Citer

Troels C. Damgaard, Espen Hojsgaard, Jean Krivine. Formal Cellular Machinery. SASB 2011, 2011, Venice, Italy. pp.55-74, ⟨10.1016/j.entcs.2012.05.015⟩. ⟨hal-00692416⟩
142 Consultations
81 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More