The Resource Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Resource Information
The item Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 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
 Language
 eng
 Extent
 1 online resource (xv, 810 pages)
 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
 Isbn
 9783540686767
 Label
 Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday
 Title
 Concurrency, graphs and models
 Title remainder
 essays dedicated to Ugo Montanari on the occasion of his 65th birthday
 Statement of responsibility
 Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
 Subject

 Computer multitasking
 Computer multitasking
 Computer multitasking
 Computer programming
 Computer programming
 Computer programming
 Computer simulation
 Computer simulation
 Computer simulation
 Computer software  Verification
 Computer software  Verification
 Computer software  Verification
 Graph grammars
 Graph grammars
 Graph grammars
 Informatique
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Software engineering
 Software engineering
 Software engineering
 Language
 eng
 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
 Cataloging source
 GW5XE
 Dewey number
 511.3
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA267.3
 LC item number
 .C66 2008eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1950
 http://library.link/vocab/relatedWorkOrContributorName

 Montanari, Ugo
 Degano, Pierpaolo
 De Nicola, Rocco
 Meseguer, José
 Series statement

 Lecture notes in computer science,
 LNCS sublibrary. SL 1, Theoretical computer science and general issues
 Series volume
 5065
 http://library.link/vocab/subjectName

 Graph grammars
 Rewriting systems (Computer science)
 Software engineering
 Computer multitasking
 Computer simulation
 Computer software
 Computer programming
 Informatique
 Computer multitasking
 Computer programming
 Computer simulation
 Computer software
 Graph grammars
 Rewriting systems (Computer science)
 Software engineering
 Label
 Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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
 Control code
 272306883
 Dimensions
 unknown
 Extent
 1 online resource (xv, 810 pages)
 Form of item
 online
 Isbn
 9783540686767
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number

 9786611860189
 10.1007/9783540686798
 Other physical details
 illustrations.
 http://library.link/vocab/ext/overdrive/overdriveId
 9783540686767
 Specific material designation
 remote
 System control number
 (OCoLC)272306883
 Label
 Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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
 Control code
 272306883
 Dimensions
 unknown
 Extent
 1 online resource (xv, 810 pages)
 Form of item
 online
 Isbn
 9783540686767
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number

 9786611860189
 10.1007/9783540686798
 Other physical details
 illustrations.
 http://library.link/vocab/ext/overdrive/overdriveId
 9783540686767
 Specific material designation
 remote
 System control number
 (OCoLC)272306883
Subject
 Computer multitasking
 Computer multitasking
 Computer multitasking
 Computer programming
 Computer programming
 Computer programming
 Computer simulation
 Computer simulation
 Computer simulation
 Computer software  Verification
 Computer software  Verification
 Computer software  Verification
 Graph grammars
 Graph grammars
 Graph grammars
 Informatique
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Software engineering
 Software engineering
 Software engineering
Member of
 Lecture notes in computer science, Festschrift
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
 Lecture notes in computer science, 5065
 Lecture notes in computer science, 5065.
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Concurrencygraphsandmodelsessaysdedicated/ElewBwJp7BQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Concurrencygraphsandmodelsessaysdedicated/ElewBwJp7BQ/">Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Concurrencygraphsandmodelsessaysdedicated/ElewBwJp7BQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Concurrencygraphsandmodelsessaysdedicated/ElewBwJp7BQ/">Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>