Coverart for item
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.)

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.)
Contributor
Subject
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
Member of
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.)
Instantiates
Publication
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 -- Graph-Based 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 -- Linear-Ordered 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 -- Semiring-Based Soft Constraints -- Declarative Debugging of Membership Equational Logic Specifications -- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets -- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision Diagrams for Constraint Networks -- Software Engineering -- Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section -- Modeling Business within a UML-Based Rigorous Software Development Approach -- From Domain to Requirements -- Business Process Modeling for Organizational Knowledge Management -- Event-Based 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 Zero-Safe Nets -- A Note on Persistent Petri Nets -- Secure Data Flow in a Calculus for Context Awareness -- On Beta-Binders 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 Service-Oriented 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/978-3-540-68679-8
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-68676-7
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.)
Publication
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 -- Graph-Based 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 -- Linear-Ordered 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 -- Semiring-Based Soft Constraints -- Declarative Debugging of Membership Equational Logic Specifications -- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets -- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision Diagrams for Constraint Networks -- Software Engineering -- Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section -- Modeling Business within a UML-Based Rigorous Software Development Approach -- From Domain to Requirements -- Business Process Modeling for Organizational Knowledge Management -- Event-Based 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 Zero-Safe Nets -- A Note on Persistent Petri Nets -- Secure Data Flow in a Calculus for Context Awareness -- On Beta-Binders 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 Service-Oriented 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/978-3-540-68679-8
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-68676-7
Specific material designation
remote
System control number
(OCoLC)272306883

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...