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