 |
Book sections
A Declarative View of Signaling Pathways
Davide Chiarugi
1
Moreno Falaschi
1
Carlos Olarte
2
Catuscia Palamidessi
3, 4, 5
3
COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Davide Chiarugi 1
Author
Moreno Falaschi 1
Author
Carlos Olarte 2
Author Employer institution : Pontificia universidad Javeriana, Cali
Catuscia Palamidessi 3, 4, 5
Author
1
DSMI - Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari" (Pian Dei Mantellini n°44 53100 Siena - Italy)
- UNISI - Università degli Studi di Siena (Rettorato - Via Banchi di Sotto 55 - 53100 Siena - Italy)
2
Departamento de Electrónica, Pontificia Universidad Javeriana (Facultad de Ingeniería Cra. 7 No. 40-62 Bogotá - Colombia)
- Pontificia Universidad Javeriana (France)
3
COMETE - Concurrency, Mobility and Transactions (Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France) - France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- 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)
4
MSR - INRIA - Microsoft Research - Inria Joint Centre (Parc Orsay Université 28, rue Jean Rostand 91893 Orsay Cedex FRANCE - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Microsoft Research Laboratory Cambridge (United Kingdom)
- Microsoft Corporation [Redmond, Wash.] (United States)
5
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 :
Book sections
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01271650
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, February 9, 2016 - 2:39:51 PM
Last modification on : Thursday, March 5, 2020 - 6:49:52 PM
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, February 9, 2016 - 2:39:51 PM
Last modification on : Thursday, March 5, 2020 - 6:49:52 PM
Identifiers
- HAL Id : hal-01271650, version 1
Citation
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi. A Declarative View of Signaling Pathways. Chiara Bodei; Gian Luigi Ferrari; Corrado Priami. Programming Languages with Applications to Biology and Security, 9465, Springer, pp.183-201, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2. ⟨hal-01271650⟩
Metrics
Record views