• 
  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 updated on Wed May 22 04:20:47 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page