Description 
1 online resource (xv, 810 pages) : illustrations 
Series 
Lecture notes in computer science, 03029743 ; 5065 

LNCS sublibrary. SL 1, Theoretical computer science and general issues 

Lecture notes in computer science ; 5065. 03029743


LNCS sublibrary. SL 1, Theoretical computer science and general issues.


Lecture notes in computer science. Festschrift.

Contents 
Ugo Montanari in a Nutshell  Ugo Montanari in a Nutshell  Graph Transformation  Ugo Montanari and Graph Transformation  Unfolding Graph Transformation Systems: Theory and Applications to Verification  GraphBased Design and Analysis of Dynamic Software Architectures  Graph Transformation Units  An Overview  Synchronous Multiparty Synchronizations and Transactions  Transformations in Reconfigurable Place/Transition Systems  Explicit State Model Checking for Graph Grammars  LinearOrdered Graph Grammars: Applications to Distributed Systems Design  Constraint and Logic Programming  Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section  SemiringBased Soft Constraints  Declarative Debugging of Membership Equational Logic Specifications  SPREADSPACES: MathematicallyIntelligent Graphical Spreadsheets  An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy  AND/OR Multivalued Decision Diagrams for Constraint Networks  Software Engineering  Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section  Modeling Business within a UMLBased Rigorous Software Development Approach  From Domain to Requirements  Business Process Modeling for Organizational Knowledge Management  EventBased Service Coordination  Dynamically Evolvable Dependable Software: From Oxymoron to Reality  The Temporal Logic of Rewriting: A Gentle Introduction  A Heterogeneous Approach to UML Semantics  Concurrency Theory  Ugo Montanari and Concurrency Theory  On the Synthesis of ZeroSafe Nets  A Note on Persistent Petri Nets  Secure Data Flow in a Calculus for Context Awareness  On BetaBinders Communications  On the Asynchronous Nature of the Asynchronous?Calculus  StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes  Models of Computation  Models of Computation: A Tribute to Ugo Montanari's Vision  Automatic Mutual Exclusion and Atomicity Checks  Petri Nets, Discrete Physics, and Distributed Quantum Computation  A Category of Explicit Fusions  What Do Semantics Matter When the Meat Is Overcooked?  Calculating Colimits Compositionally  Observability Concepts in Abstract Data Type Specification, 30 Years Later  Software Verification  Ugo Montanari and Software Verification  History Dependent Automata for Service Compatibility  A Type System for Client Progress in a ServiceOriented Calculus  Session and Union Types for Object Oriented Programming  The Pairing of Contracts and Session Types  Specifying and Analysing SOC Applications with COWS  Approximating Behaviors in Embedded System Design  Friends  Ugo Montanari and Friends  Calculating with Automata  Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra  Some Theorems Concerning the Core Function  The Seventies  Categories, Software and Meaning  A Roman Senator  The Semantics of Ugo Montanari  Abstraction for a Career in Industry: A Praise for Ugo's 65 Years 
Summary 
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 
Bibliography 
Includes bibliographical references and index 
Notes 
English 

Print version record 
Subject 
Graph grammars.


Rewriting systems (Computer science)


Software engineering.


Computer multitasking.


Computer simulation.


Computer software  Verification.


Computer programming.


Computer Simulation


simulation.


computer programming.


Informatique.


Computer multitasking.


Computer programming.


Computer simulation.


Computer software  Verification.


Graph grammars.


Rewriting systems (Computer science)


Software engineering.

Genre/Form 
Festschriften.


Festschriften.


Electronic books

Form 
Electronic book

Author 
Montanari, Ugo.


Degano, Pierpaolo, 1950


De Nicola, Rocco.


Meseguer, José.

ISBN 
9783540686798 

3540686797 

9783540686767 

3540686762 
