Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.):
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 5065 Springer 2008, ISBN 978-3-540-68676-7 BibTeX
Graph Transformation
- Andrea Corradini:
Ugo Montanari and Graph Transformation.
9-15
Electronic Edition (link) BibTeX
- Paolo Baldan, Andrea Corradini, Barbara König:
Unfolding Graph Transformation Systems: Theory and Applications to Verification.
16-36
Electronic Edition (link) BibTeX
- Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente:
Graph-Based Design and Analysis of Dynamic Software Architectures.
37-56
Electronic Edition (link) BibTeX
- Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg:
Graph Transformation Units - An Overview.
57-75
Electronic Edition (link) BibTeX
- Ivan Lanese, Hernán C. Melgratti:
Synchronous Multiparty Synchronizations and Transactions.
76-95
Electronic Edition (link) BibTeX
- Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems.
96-113
Electronic Edition (link) BibTeX
- Arend Rensink:
Explicit State Model Checking for Graph Grammars.
114-132
Electronic Edition (link) BibTeX
- Leila Ribeiro, Fernando Luís Dotti:
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.
133-150
Electronic Edition (link) BibTeX
Constraint and Logic Programming
- Francesca Rossi:
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section.
151-154
Electronic Edition (link) BibTeX
- Stefano Bistarelli, Francesca Rossi:
Semiring-Based Soft Constraints.
155-173
Electronic Edition (link) BibTeX
- Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications.
174-193
Electronic Edition (link) BibTeX
- Nachum Dershowitz, Claude Kirchner:
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.
194-208
Electronic Edition (link) BibTeX
- Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, Germán Puebla:
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
209-237
Electronic Edition (link) BibTeX
- Robert Mateescu, Rina Dechter:
AND/OR Multi-valued Decision Diagrams for Constraint Networks.
238-257
Electronic Edition (link) BibTeX
Software Engineering
- Stefania Gnesi:
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section.
258-260
Electronic Edition (link) BibTeX
- Egidio Astesiano, Gianna Reggio, Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach.
261-277
Electronic Edition (link) BibTeX
- Dines Bjørner:
From Domain to Requirements.
278-300
Electronic Edition (link) BibTeX
- Luca Abeti, Paolo Ciancarini, Rocco Moretti:
Business Process Modeling for Organizational Knowledge Management.
301-311
Electronic Edition (link) BibTeX
- Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Event-Based Service Coordination.
312-329
Electronic Edition (link) BibTeX
- Carlo Ghezzi, Paola Inverardi, Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality.
330-353
Electronic Edition (link) BibTeX
- José Meseguer:
The Temporal Logic of Rewriting: A Gentle Introduction.
354-382
Electronic Edition (link) BibTeX
- María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing:
A Heterogeneous Approach to UML Semantics.
383-402
Electronic Edition (link) BibTeX
Concurrency Theory
Models of Computation
- Roberto Bruni, Vladimiro Sassone:
Models of Computation: A Tribute to Ugo Montanari's Vision.
503-509
Electronic Edition (link) BibTeX
- Martín Abadi:
Automatic Mutual Exclusion and Atomicity Checks.
510-526
Electronic Edition (link) BibTeX
- Samson Abramsky:
Petri Nets, Discrete Physics, and Distributed Quantum Computation.
527-543
Electronic Edition (link) BibTeX
- Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Category of Explicit Fusions.
544-562
Electronic Edition (link) BibTeX
- José Luiz Fiadeiro:
What Do Semantics Matter When the Meat Is Overcooked?.
563-580
Electronic Edition (link) BibTeX
- Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters:
Calculating Colimits Compositionally.
581-592
Electronic Edition (link) BibTeX
- Donald Sannella, Andrzej Tarlecki:
Observability Concepts in Abstract Data Type Specification, 30 Years Later.
593-617
Electronic Edition (link) BibTeX
Software Verification
- Gian Luigi Ferrari:
Ugo Montanari and Software Verification.
618-624
Electronic Edition (link) BibTeX
- Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto:
History Dependent Automata for Service Compatibility.
625-641
Electronic Edition (link) BibTeX
- Lucia Acciai, Michele Boreale:
A Type System for Client Progress in a Service-Oriented Calculus.
642-658
Electronic Edition (link) BibTeX
- Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Session and Union Types for Object Oriented Programming.
659-680
Electronic Edition (link) BibTeX
- Cosimo Laneve, Luca Padovani:
The Pairing of Contracts and Session Types.
681-700
Electronic Edition (link) BibTeX
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS.
701-720
Electronic Edition (link) BibTeX
- Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Approximating Behaviors in Embedded System Design.
721-742
Electronic Edition (link) BibTeX
Friends
Copyright © Sat May 16 22:59:41 2009
by Michael Ley (ley@uni-trier.de)