 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00692416, version 1 |
| DOI: 10.1016/j.entcs.2012.05.015 |
| Detailed view |  Export this paper |
 |
| SASB 2011, Venice : Italie (2011) |
|
|
|
|
| Formal Cellular Machinery |
|
|
| Troels C. Damgaard 1Espen Hojsgaard 1 |
|
|
| (2012) |
|
|
|
| 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). |
|
|
|
|
|
|
|
|
|
|
|
| 1: | IT university (PLS) |
|
|
|
IT University of Copenhagen |
|
|
| 2: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Bioinformatics Life Sciences/Quantitative Methods Computer Science/Modeling and Simulation Computer Science/Symbolic Computation |
|
|
| systems biology – compartment – rule-based modeling – kappa – bigraphs – projectivity – membrane – term rewriting |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00692416, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00692416 | |
| oai:hal.archives-ouvertes.fr:hal-00692416 | |
| From: Jean Krivine | |
| Submitted on: Monday, 30 April 2012 12:22:42 | |
| Updated on: Sunday, 1 July 2012 13:38:41 | |
