| Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer |
| Graph Transformation |
| Ugo Montanari and Graph Transformation / Andrea Corradini |
| Unfolding Graph Transformation Systems: Theory and Applications to Verification / Paolo Baldan ; Barbara Konig |
| Graph-Based Design and Analysis of Dynamic Software Architectures / Roberto Bruni ; Antonio Bucchiarone ; Stefania Gnesi ; Dan Hirsch ; Alberto Lluch Lafuente |
| Graph Transformation Units - An Overview / Hans-Jorg Kreowski ; Sabine Kuske ; Grzegorz Rozenberg |
| Synchronous Multiparty Synchronizations and Transactions / Ivan Lanese ; Hernan Melgratti |
| Transformations in Reconfigurable Place/Transition Systems / Ulrike Prange ; Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg |
| Explicit State Model Checking for Graph Grammars / Arend Rensink |
| Linear-Ordered Graph Grammars: Applications to Distributed Systems Design / Leila Ribeiro ; Fernando Luis Dotti |
| Constraint and Logic Programming |
| Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section / Francesca Rossi |
| Semiring-Based Soft Constraints / Stefano Bistarelli |
| Declarative Debugging of Membership Equational Logic Specifications / Rafael Caballero ; Narciso Marti-Oliet ; Adrian Riesco ; Alberto Verdejo |
| Spreadspaces: Mathematically-Intelligent Graphical Spreadsheets / Nachum Dershowitz ; Claude Kirchner |
| An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy / Manuel V. Hermenegildo ; Francisco Bueno ; Manuel Carro ; Pedro Lopez ; Jose F. Morales ; German Puebla |
| AND/OR Multi-valued Decision Diagrams for Constraint Networks / Robert Mateescu ; Rina Dechter |
| Software Engineering |
| Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section |
| Modeling Business within a UML-Based Rigorous Software Development Approach / Egidio Astesiano ; Gianna Reggio ; Filippo Ricca |
| From Domain to Requirements / Dines Bjorner |
| Business Process Modeling for Organizational Knowledge Management / Luca Abeti ; Paolo Ciancarini ; Rocco Moretti |
| Event-Based Service Coordination / Gian-Luigi Ferrari ; Roberto Guanciale ; Daniele Strollo ; Emilio Tuosto |
| Dynamically Evolvable Dependable Software: From Oxymoron to Reality / Carlo Ghezzi ; Paola Inverardi ; Carlo Montangero |
| The Temporal Logic of Rewriting: A Gentle Introduction |
| A Heterogeneous Approach to UML Semantics / Maria Victoria Cengarle ; Alexander Knapp ; Andrzej Tarlecki ; Martin Wirsing |
| Concurrency Theory |
| Ugo Montanari and Concurrency Theory / Roberto Gorrieri |
| On the Synthesis of Zero-Safe Nets / Philippe Darondeau |
| A Note on Persistent Petri Nets / Eike Best |
| Secure Data Flow in a Calculus for Context Awareness / Doina Bucur ; Mogens Nielsen |
| On Beta-Binders Communications / Paola Quaglia |
| On the Asynchronous Nature of the Asynchronous [pi]-Calculus / Romain Beauxis ; Catuscia Palamidessi ; Frank D. Valencia |
| StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes / Ezio Bartocci ; Flavio Corradini ; Radu Grosu ; Emanuela Merelli ; Oliviero Riganelli ; Scott A. Smolka |
| Models of Computation |
| Models of Computation: A Tribute to Ugo Montanari's Vision / Vladimiro Sassone |
| Automatic Mutual Exclusion and Atomicity Checks / Martin Abadi |
| Petri Nets, Discrete Physics, and Distributed Quantum Computation / Samson Abramsky |
| A Category of Explicit Fusions / Filippo Bonchi ; Maria Grazia Buscemi ; Vincenzo Ciancia ; Fabio Gadducci |
| What Do Semantics Matter When the Meat Is Overcooked? / Jose Luiz Fiadeiro |
| Calculating Colimits Compositionally / Robert Rosebrugh ; Nicoletta Sabadini ; Robert F.C. Walters |
| Observability Concepts in Abstract Data Type Specification, 30 Years Later / Donald Sannella |
| Software Verification |
| Ugo Montanari and Software Verification |
| History Dependent Automata for Service Compatibility / Marco Pistore |
| A Type System for Client Progress in a Service-Oriented Calculus / Lucia Acciai ; Michele Boreale |
| Session and Union Types for Object Oriented Programming / Lorenzo Bettini ; Sara Capecchi ; Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Betti Venneri |
| The Pairing of Contracts and Session Types / Cosimo Laneve ; Luca Padovani |
| Specifying and Analysing SOC Applications with COWS / Alessandro Lapadula ; Rosario Pugliese ; Francesco Tiezzi |
| Approximating Behaviors in Embedded System Design / Roberto Passerone ; Alberto L. Sangiovanni-Vincentelli |
| Friends |
| Ugo Montanari and Friends |
| Calculating with Automata / Jos C.M. Baeten |
| Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra / Gerard Boudol ; Ilaria Castellani ; Matthew Hennessy ; Glynn Winskel |
| Some Theorems Concerning the Core Function / Angelo Raffaele Meo |
| The Seventies / Alberto Martelli |
| Categories, Software and Meaning / Robin Milner |
| A Roman Senator / Jan Rutten |
| The Semantics of Ugo Montanari / Franco Turini |
| Abstraction for a Career in Industry: A Praise for Ugo's 65 Years / Daniel Yankelevich |
| Author Index |
| Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer |
| Graph Transformation |
| Ugo Montanari and Graph Transformation / Andrea Corradini |
図書
ＥＢ
