Advertisement

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. Friends

    1. Robin Milner
      Pages 799-801
    2. Jan Rutten
      Pages 802-803
    3. Franco Turini
      Pages 804-805
  2. Back Matter

About this book

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-68679-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • 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
Automotive
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering