Overview
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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (53 chapters)
-
Ugo Montanari in a Nutshell
-
Graph Transformation
-
Constraint and Logic Programming
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
Book Title: Concurrency, Graphs and Models
Book Subtitle: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Editors: Pierpaolo Degano, Rocco Nicola, José Meseguer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-68679-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-68676-7Published: 03 June 2008
eBook ISBN: 978-3-540-68679-8Published: 11 June 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 810
Topics: Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Software Engineering, Artificial Intelligence