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⟩