Ebook: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
- Genre: Mathematics // Graph Theory
- Tags: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Software Engineering, Artificial Intelligence (incl. Robotics), Symbolic and Algebraic Manipulation
- Series: Lecture Notes in Computer Science 5065 : Theoretical Computer Science and General Issues
- Year: 2008
- Publisher: Springer-Verlag Berlin Heidelberg
- City: New York
- Edition: 1
- Language: English
- pdf
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.
This volume contains the 43 papers written by close collaborators and friends of Ugo Montanari in celebration of his 65th birthday. In some sense, the volume is a reflection, with gratitude and admiration, on Ugo’s highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly as ever. It provides a snapshot of the manifold research ideas that have been deeply influenced by Ugo’s work. In a sense the book gives a vantage point from which to foresee further developments to come: by Ugo himself, and by many other people encouraged and stimulated by his friendship and example.