Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Front Matter....Pages -
Ugo Montanari in a Nutshell....Pages 1-8
Ugo Montanari and Graph Transformation....Pages 9-15
Unfolding Graph Transformation Systems: Theory and Applications to Verification....Pages 16-36
Graph-Based Design and Analysis of Dynamic Software Architectures....Pages 37-56
Graph Transformation Units – An Overview....Pages 57-75
Synchronous Multiparty Synchronizations and Transactions....Pages 76-95
Transformations in Reconfigurable Place/Transition Systems....Pages 96-113
Explicit State Model Checking for Graph Grammars....Pages 114-132
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design....Pages 133-150
Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section....Pages 151-154
Semiring-Based Soft Constraints....Pages 155-173
Declarative Debugging of Membership Equational Logic Specifications....Pages 174-193
 SPREADSPACES : Mathematically-Intelligent Graphical Spreadsheets....Pages 194-208
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy....Pages 209-237
AND/OR Multi-valued Decision Diagrams for Constraint Networks....Pages 238-257
Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section....Pages 258-260
Modeling Business within a UML-Based Rigorous Software Development Approach....Pages 261-277
From Domain to Requirements....Pages 278-300
Business Process Modeling for Organizational Knowledge Management....Pages 301-311
Event-Based Service Coordination....Pages 312-329
Dynamically Evolvable Dependable Software: From Oxymoron to Reality....Pages 330-353
The Temporal Logic of Rewriting: A Gentle Introduction....Pages 354-382
A Heterogeneous Approach to UML Semantics....Pages 383-402
Ugo Montanari and Concurrency Theory....Pages 403-408
On the Synthesis of Zero-Safe Nets....Pages 409-426
A Note on Persistent Petri Nets....Pages 427-438
Secure Data Flow in a Calculus for Context Awareness....Pages 439-456
On Beta-Binders Communications....Pages 457-472
On the Asynchronous Nature of the Asynchronous π -Calculus....Pages 473-492
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes....Pages 493-502
Models of Computation: A Tribute to Ugo Montanari’s Vision....Pages 503-509
Automatic Mutual Exclusion and Atomicity Checks....Pages 510-526
Petri Nets, Discrete Physics, and Distributed Quantum Computation....Pages 527-543
A Category of Explicit Fusions....Pages 544-562
What Do Semantics Matter When the Meat Is Overcooked?....Pages 563-580
Calculating Colimits Compositionally....Pages 581-592
Observability Concepts in Abstract Data Type Specification, 30 Years Later....Pages 593-617
Ugo Montanari and Software Verification....Pages 618-624
History Dependent Automata for Service Compatibility....Pages 625-641
A Type System for Client Progress in a Service-Oriented Calculus....Pages 642-658
Session and Union Types for Object Oriented Programming....Pages 659-680
The Pairing of Contracts and Session Types....Pages 681-700
Specifying and Analysing SOC Applications with COWS ....Pages 701-720
Approximating Behaviors in Embedded System Design....Pages 721-742
Ugo Montanari and Friends....Pages 743-746
Calculating with Automata....Pages 747-756
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra....Pages 757-777
Some Theorems Concerning the Core Function....Pages 778-796
The Seventies....Pages 797-798
Categories, Software and Meaning....Pages 799-801
A Roman Senator....Pages 802-803
The Semantics of Ugo Montanari....Pages 804-805
Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years....Pages 806-808
Back Matter....Pages -