65. Birthday: Ugo Montanari, 2008

• Rocco De Nicola, Pierpaolo Degano, José Meseguer:
  Ugo Montanari in a Nutshell. 1-8
  

Graph Transformation

• Andrea Corradini:
  Ugo Montanari and Graph Transformation. 9-15
  
• Paolo Baldan, Andrea Corradini, Barbara König:
  Unfolding Graph Transformation Systems: Theory and Applications to Verification. 16-36
  
• Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente:
  Graph-Based Design and Analysis of Dynamic Software Architectures. 37-56
  
• Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg:
  Graph Transformation Units - An Overview. 57-75
  
• Ivan Lanese, Hernán C. Melgratti:
  Synchronous Multiparty Synchronizations and Transactions. 76-95
  
• Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
  Transformations in Reconfigurable Place/Transition Systems. 96-113
  
• Arend Rensink:
  Explicit State Model Checking for Graph Grammars. 114-132
  
• Leila Ribeiro, Fernando Luís Dotti:
  Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. 133-150
  

Constraint and Logic Programming

• Francesca Rossi:
  Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section. 151-154
  
• Stefano Bistarelli, Francesca Rossi:
  Semiring-Based Soft Constraints. 155-173
  
• Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
  Declarative Debugging of Membership Equational Logic Specifications. 174-193
  
• Nachum Dershowitz, Claude Kirchner:
  SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. 194-208
  
• Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla:
  An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. 209-237
  
• Robert Mateescu, Rina Dechter:
  AND/OR Multi-valued Decision Diagrams for Constraint Networks. 238-257
  

Software Engineering

• Stefania Gnesi:
  Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. 258-260
  
• Egidio Astesiano, Gianna Reggio, Filippo Ricca:
  Modeling Business within a UML-Based Rigorous Software Development Approach. 261-277
  
• Dines Bjørner:
  From Domain to Requirements. 278-300
  
• Luca Abeti, Paolo Ciancarini, Rocco Moretti:
  Business Process Modeling for Organizational Knowledge Management. 301-311
  
• Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
  Event-Based Service Coordination. 312-329
  
• Carlo Ghezzi, Paola Inverardi, Carlo Montangero:
  Dynamically Evolvable Dependable Software: From Oxymoron to Reality. 330-353
  
• José Meseguer:
  The Temporal Logic of Rewriting: A Gentle Introduction. 354-382
  
• María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing:
  A Heterogeneous Approach to UML Semantics. 383-402
  

Concurrency Theory

• Roberto Gorrieri:
  Ugo Montanari and Concurrency Theory. 403-408
  
• Philippe Darondeau:
  On the Synthesis of Zero-Safe Nets. 409-426
  
• Eike Best:
  A Note on Persistent Petri Nets. 427-438
  
• Doina Bucur, Mogens Nielsen:
  Secure Data Flow in a Calculus for Context Awareness. 439-456
  
• Paola Quaglia:
  On Beta-Binders Communications. 457-472
  
• Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia:
  On the Asynchronous Nature of the Asynchronous pi-Calculus. 473-492
  
• Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka:
  StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. 493-502
  

Models of Computation

• Roberto Bruni, Vladimiro Sassone:
  Models of Computation: A Tribute to Ugo Montanari's Vision. 503-509
  
• Martín Abadi:
  Automatic Mutual Exclusion and Atomicity Checks. 510-526
  
• Samson Abramsky:
  Petri Nets, Discrete Physics, and Distributed Quantum Computation. 527-543
  
• Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
  A Category of Explicit Fusions. 544-562
  
• José Luiz Fiadeiro:
  What Do Semantics Matter When the Meat Is Overcooked?. 563-580
  
• Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters:
  Calculating Colimits Compositionally. 581-592
  
• Donald Sannella, Andrzej Tarlecki:
  Observability Concepts in Abstract Data Type Specification, 30 Years Later. 593-617
  

Software Verification

• Gian Luigi Ferrari:
  Ugo Montanari and Software Verification. 618-624
  
• Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto:
  History Dependent Automata for Service Compatibility. 625-641
  
• Lucia Acciai, Michele Boreale:
  A Type System for Client Progress in a Service-Oriented Calculus. 642-658
  
• Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
  Session and Union Types for Object Oriented Programming. 659-680
  
• Cosimo Laneve, Luca Padovani:
  The Pairing of Contracts and Session Types. 681-700
  
• Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
  Specifying and Analysing SOC Applications with COWS. 701-720
  
• Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
  Approximating Behaviors in Embedded System Design. 721-742
  

Friends

• Fabio Gadducci:
  Ugo Montanari and Friends. 743-746
  
• Jos C. M. Baeten:
  Calculating with Automata. 747-756
  
• Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel:
  Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. 757-777
  
• Angelo Raffaele Meo:
  Some Theorems Concerning the Core Function. 778-796
  
• Alberto Martelli:
  The Seventies. 797-798
  
• Robin Milner:
  Categories, Software and Meaning. 799-801
  
• Jan J. M. M. Rutten:
  A Roman Senator. 802-803
  
• Franco Turini:
  The Semantics of Ugo Montanari. 804-805
  
• Daniel Yankelevich:
  Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. 806-808
  

Last update Tue May 22 23:23:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page