Advertisement

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

  • Mário S. Alvim
  • Kostas Chatzikokolakis
  • Carlos Olarte
  • Frank Valencia
Book

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

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

Table of contents

  1. Front Matter
    Pages i-xxxiv
  2. Concurrency

    1. Front Matter
      Pages 1-1
    2. Cosimo Laneve, Luca Padovani
      Pages 50-67
    3. Linda Brodo, Roberto Bruni, Moreno Falaschi
      Pages 68-85
    4. Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
      Pages 86-100
    5. Bernardo Toninho, Nobuko Yoshida
      Pages 101-117
    6. Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
      Pages 118-138
    7. Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
      Pages 163-181
    8. Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
      Pages 182-205
    9. Jörg Endrullis, Jan Willem Klop
      Pages 206-220
  3. Logic and Constraint Programming

    1. Front Matter
      Pages 221-221
    2. Roberto Bruni, Ugo Montanari, Giorgio Mossa
      Pages 223-240
    3. Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
      Pages 241-257
  4. Security and Privacy

    1. Front Matter
      Pages 259-259
    2. Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
      Pages 261-275
    3. Yuxin Deng, Jean-Francois Monin
      Pages 276-292
    4. Valentina Castiglioni, Ruggero Lanotte, Simone Tini
      Pages 293-312
    5. Jean Goubault-Larrecq
      Pages 313-328
    6. Tahiry Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
      Pages 329-343
    7. Yusuke Kawamoto
      Pages 344-362
    8. Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 379-396
    9. Konstantinos Chatzikokolakis, Geoffrey Smith
      Pages 397-416
  5. Models and Puzzles

    1. Front Matter
      Pages 417-417
    2. Mário S. Alvim, Sophia Knight, Frank Valencia
      Pages 419-441
    3. Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia
      Pages 442-459
  6. Back Matter
    Pages 461-461

About this book

Introduction

This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.

It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles.

These contributions are a tribute to Catuscia Palamidessi’s intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy.

Keywords

artificial intelligence concurrency theory concurrent constraint programming data privacy data security distributed computer systems formal logic g-leakage information flow information hiding logic programming privacy probability programming languages semantics software engineering

Editors and affiliations

  • Mário S. Alvim
    • 1
  • Kostas Chatzikokolakis
    • 2
  • Carlos Olarte
    • 3
  • Frank Valencia
    • 4
  1. 1.Universidade Federal de Minas GeraisBelo HorizonteBrazil
  2. 2.University of AthensAthensGreece
  3. 3.Federal University of Rio Grande do Norte - UFRNNatalBrazil
  4. 4.CNRS & University Javeriana CaliPalaiseauFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-31175-9
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-31174-2
  • Online ISBN 978-3-030-31175-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site