A Declarative View of Signaling Pathways

Davide Chiarugi 1 Moreno Falaschi 1 Carlos Olarte 2 Catuscia Palamidessi 3, 4, 5
1 DSMI - Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari"
2 Departamento de Electrónica, Pontificia Universidad Javeriana
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
4 MSR - INRIA - Microsoft Research - Inria Joint Centre
5 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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 : Wednesday, March 27, 2019 - 4:41:28 PM

Identifiers

  • HAL Id : hal-01271650, version 1

Collections

CNRS | X | LIX | INRIA | X-LIX | PARISTECH | UNIV-PARIS-SACLAY | X-DEP-INFO

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

435

Contact

CCSD