Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

  • Editors
  • Pierpaolo Degano
  • Rocco De Nicola
  • José Meseguer

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

Table of contents

  1. Front Matter
  2. Ugo Montanari in a Nutshell

    1. Rocco De Nicola, Pierpaolo Degano, José Meseguer
      Pages 1-8
  3. Graph Transformation

    1. Andrea Corradini
      Pages 9-15
    2. Paolo Baldan, Andrea Corradini, Barbara König
      Pages 16-36
    3. Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch Lafuente
      Pages 37-56
    4. Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg
      Pages 57-75
    5. Ivan Lanese, Hernán Melgratti
      Pages 76-95
    6. Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
      Pages 96-113
    7. Leila Ribeiro, Fernando Luís Dotti
      Pages 133-150
  4. Constraint and Logic Programming

    1. Stefano Bistarelli, Francesca Rossi
      Pages 155-173
    2. Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
      Pages 174-193
    3. Nachum Dershowitz, Claude Kirchner
      Pages 194-208
    4. Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, German Puebla
      Pages 209-237
    5. Robert Mateescu, Rina Dechter
      Pages 238-257
  5. Software Engineering

    1. Egidio Astesiano, Gianna Reggio, Filippo Ricca
      Pages 261-277
    2. Dines Bjørner
      Pages 278-300
    3. Luca Abeti, Paolo Ciancarini, Rocco Moretti
      Pages 301-311
    4. Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
      Pages 312-329
    5. Carlo Ghezzi, Paola Inverardi, Carlo Montangero
      Pages 330-353
    6. María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
      Pages 383-402
  6. Concurrency Theory

    1. Roberto Gorrieri
      Pages 403-408
    2. Philippe Darondeau
      Pages 409-426
    3. Eike Best
      Pages 427-438
    4. Doina Bucur, Mogens Nielsen
      Pages 439-456
    5. Paola Quaglia
      Pages 457-472
    6. Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia
      Pages 473-492
    7. Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
      Pages 493-502
  7. Models of Computation

    1. Roberto Bruni, Vladimiro Sassone
      Pages 503-509
    2. Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
      Pages 544-562
    3. José Luiz Fiadeiro
      Pages 563-580
    4. Robert Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
      Pages 581-592
    5. Donald Sannella, Andrzej Tarlecki
      Pages 593-617
  8. Software Verification

    1. Gian-Luigi Ferrari
      Pages 618-624
    2. Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto
      Pages 625-641
    3. Lucia Acciai, Michele Boreale
      Pages 642-658
    4. Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
      Pages 659-680
    5. Cosimo Laneve, Luca Padovani
      Pages 681-700
    6. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
      Pages 701-720
    7. Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
      Pages 721-742
  9. Friends

    1. Fabio Gadducci
      Pages 743-746
    2. Jos C. M. Baeten
      Pages 747-756
    3. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
      Pages 757-777
    4. Angelo Raffaele Meo
      Pages 778-796
    5. Alberto Martelli
      Pages 797-798

About this book


This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa.

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.


automata communication concurrency constraint programming context awareness coordination declarative debugging distributed systems event notification functional modules knowledge management mobile ambients modeling programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-68676-7
  • Online ISBN 978-3-540-68679-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods