Programming Languages with Applications to Biology and Security

Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

  • Chiara Bodei
  • Gianluigi Ferrari
  • Corrado Priami

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9465)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9465)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
    Pages 1-6
  3. Marco Maria Massai
    Pages 7-9
  4. Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly
    Pages 10-26
  5. Roberto Bruni, Ugo Montanari, Matteo Sammartino
    Pages 27-43
  6. Joshua D. Guttman
    Pages 44-46
  7. Hanne Riis Nielson, Flemming Nielson, Ximeng Li
    Pages 47-65
  8. Omar Almousa, Sebastian Mödersheim, Luca Viganò
    Pages 66-85
  9. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
    Pages 86-102
  10. Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
    Pages 103-121
  11. Davide Basile, Letterio Galletta, Gianluca Mezzetti
    Pages 122-141
  12. Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto
    Pages 142-161
  13. Chiara Bodei, Linda Brodo, Riccardo Focardi
    Pages 162-182
  14. Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
    Pages 183-201
  15. Gabriele Costa
    Pages 202-218
  16. Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
    Pages 219-237
  17. Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
    Pages 238-261
  18. Roberto Gorrieri
    Pages 262-282
  19. Fabrizio Luccio, Linda Pagli
    Pages 283-291
  20. Fabio Martinelli, Ilaria Matteucci, Francesco Santini
    Pages 304-318
  21. Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
    Pages 319-338
  22. Gianluigi Zavattaro
    Pages 339-353
  23. Roberto Zunino, Ɖurica Nikolić, Corrado Priami, Ozan Kahramanoğulları, Tommaso Schiavinotto
    Pages 354-374
  24. Back Matter
    Pages 375-375

About this book


Programming Languages with Applications to Biology and Security 

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security.

The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation. 


Adaptive and pervasive systems Concurrency theory Distributed systems Formal program semantics Secure service composition Active knowledge Algorithms for love Computational biology Contract-based design May testing Model checking Modeling Petri nets Program synthesis Security Simulation algorithms Static analysis Stochastic simulation Symbolic execution Systems biology

Editors and affiliations

  • Chiara Bodei
    • 1
  • Gianluigi Ferrari
    • 2
  • Corrado Priami
    • 3
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Dipartimento di InformaticaUniversità di PisaPisaItaly
  3. 3.Università degli Studi di TrentoPovoItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-25526-2
  • Online ISBN 978-3-319-25527-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software