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 |