Concurrency, Graphs and Models

Concurrency, Graphs and Models

4.11 - 1251 ratings - Source

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 Montanaria€™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 Montanaria€™s numerous achievements.In this paper a heterogeneous approach to the semantics of UML is proposed where each diagram type can be described in its a€œnaturala€ semantics, and the relations between diagram types are expressed by appropriate translations.

Title:Concurrency, Graphs and Models
Author:Pierpaolo Degano, Rocco de Nicola, José Meseguer
Publisher:Springer Science & Business Media - 2008-06-03


You Must CONTINUE and create a free account to access unlimited downloads & streaming