 |
Conference papers
Rule-based modelling of cellular signalling
Vincent Danos 1
Author IdHAL : vincent-danos
Jerome Feret 2
Author
Walter Fontana 3
Author
Russell Harmer 1
Author IdHAL : russharmer
Jean Krivine 4
Author IdHAL : jkrivine
1
PPS - Preuves, Programmes et Systèmes (Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris Cedex 13 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7126 (France)
- UPD7 - Université Paris Diderot - Paris 7 (5 rue Thomas-Mann - 75205 Paris cedex 13 - France)
2
LIENS - Laboratoire d'informatique de l'école normale supérieure (45 Rue d'Ulm 75230 PARIS CEDEX 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
3
HMS - Harvard Medical School [Boston] (25 Shattuck Street Boston, MA 02115 - United States)
4
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau] (Route de Saclay 91128 PALAISEAU CEDEX - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7161 (France)
- X - École polytechnique (École polytechnique, 91128 Palaiseau Cedex - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00164297
Contributor : Vincent Danos <>
Submitted on : Friday, July 20, 2007 - 4:58:16 AM
Last modification on : Thursday, January 7, 2021 - 3:18:45 PM
Contributor : Vincent Danos <>
Submitted on : Friday, July 20, 2007 - 4:58:16 AM
Last modification on : Thursday, January 7, 2021 - 3:18:45 PM
Identifiers
- HAL Id : hal-00164297, version 1
Collections
LIX | PPS | CNRS | ENS-PARIS | X-LIX | X | X-DEP-INFO | UNIV-PARIS7 | USPC | UNIV-PARIS | PSL
Citation
Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine. Rule-based modelling of cellular signalling. International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal. ⟨hal-00164297⟩
Metrics
Record views