Skip to main content
SpringerLink
Log in

Concurrency, Graphs and Models

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

  • Book
  • © 2008

Overview

Editors:
  1. Pierpaolo Degano
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rocco Nicola
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José Meseguer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (53 chapters)

  1. Front Matter

    Download chapter PDF

  2. Ugo Montanari in a Nutshell

    1. Ugo Montanari in a Nutshell

      • Rocco De Nicola, Pierpaolo Degano, José Meseguer
      Pages 1-8

  3. Graph Transformation

    1. Ugo Montanari and Graph Transformation

      • Andrea Corradini
      Pages 9-15

    2. Unfolding Graph Transformation Systems: Theory and Applications to Verification

      • Paolo Baldan, Andrea Corradini, Barbara König
      Pages 16-36

    3. Graph-Based Design and Analysis of Dynamic Software Architectures

      • Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch Lafuente
      Pages 37-56

    4. Graph Transformation Units – An Overview

      • Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg
      Pages 57-75

    5. Synchronous Multiparty Synchronizations and Transactions

      • Ivan Lanese, Hernán Melgratti
      Pages 76-95

    6. Transformations in Reconfigurable Place/Transition Systems

      • Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
      Pages 96-113

    7. Explicit State Model Checking for Graph Grammars

      • Arend Rensink
      Pages 114-132

    8. Linear-Ordered Graph Grammars: Applications to Distributed Systems Design

      • Leila Ribeiro, Fernando Luís Dotti
      Pages 133-150

  4. Constraint and Logic Programming

    1. Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section

      • Francesca Rossi
      Pages 151-154

    2. Semiring-Based Soft Constraints

      • Stefano Bistarelli, Francesca Rossi
      Pages 155-173

    3. Declarative Debugging of Membership Equational Logic Specifications

      • Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
      Pages 174-193

    4. SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets

      • Nachum Dershowitz, Claude Kirchner
      Pages 194-208

    5. An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

      • Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, German Puebla
      Pages 209-237

    6. AND/OR Multi-valued Decision Diagrams for Constraint Networks

      • Robert Mateescu, Rina Dechter
      Pages 238-257

  5. Software Engineering

    1. Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section

      • Stefania Gnesi
      Pages 258-260

    2. Modeling Business within a UML-Based Rigorous Software Development Approach

      • Egidio Astesiano, Gianna Reggio, Filippo Ricca
      Pages 261-277

    3. From Domain to Requirements

      • Dines Bjørner
      Pages 278-300

    4. Business Process Modeling for Organizational Knowledge Management

      • Luca Abeti, Paolo Ciancarini, Rocco Moretti
      Pages 301-311
Back to top

Keywords

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.

Reviews

From the reviews:

"This volume celebrates the wide and deep contributions that spring from Montanari’s inspiring leadership. … This book is for researchers. … The reference lists are long and well done. … This is a unique resource. Any university with people working in its areas would be wise to have a copy on its shelves." (Richard Botting, ACM Computing Reviews, October, 2008)

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation