Abstract is missing.
- Ugo Montanari in a NutshellRocco De Nicola, Pierpaolo Degano, José Meseguer. 1-8 [doi]
- Ugo Montanari and Graph TransformationAndrea Corradini. 9-15 [doi]
- Unfolding Graph Transformation Systems: Theory and Applications to VerificationPaolo Baldan, Andrea Corradini, Barbara König. 16-36 [doi]
- Graph-Based Design and Analysis of Dynamic Software ArchitecturesRoberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente. 37-56 [doi]
- Graph Transformation Units - An OverviewHans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg. 57-75 [doi]
- Synchronous Multiparty Synchronizations and TransactionsIvan Lanese, Hernán C. Melgratti. 76-95 [doi]
- Transformations in Reconfigurable Place/Transition SystemsUlrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg. 96-113 [doi]
- Explicit State Model Checking for Graph GrammarsArend Rensink. 114-132 [doi]
- Linear-Ordered Graph Grammars: Applications to Distributed Systems DesignLeila Ribeiro, Fernando Luís Dotti. 133-150 [doi]
- Constraint and Logic Programming: Ugo Montanari s Main Contributions and Introduction to the Volume SectionFrancesca Rossi. 151-154 [doi]
- Semiring-Based Soft ConstraintsStefano Bistarelli, Francesca Rossi. 155-173 [doi]
- Declarative Debugging of Membership Equational Logic SpecificationsRafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo. 174-193 [doi]
- SPREADSPACES: Mathematically-Intelligent Graphical SpreadsheetsNachum Dershowitz, Claude Kirchner. 194-208 [doi]
- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design PhilosophyManuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, Germán Puebla. 209-237 [doi]
- AND/OR Multi-valued Decision Diagrams for Constraint NetworksRobert Mateescu, Rina Dechter. 238-257 [doi]
- Software Engineering: Ugo Montanari s Main Contributions and Introduction to the SectionStefania Gnesi. 258-260 [doi]
- Modeling Business within a UML-Based Rigorous Software Development ApproachEgidio Astesiano, Gianna Reggio, Filippo Ricca. 261-277 [doi]
- From Domain to RequirementsDines Bjørner. 278-300 [doi]
- Business Process Modeling for Organizational Knowledge ManagementLuca Abeti, Paolo Ciancarini, Rocco Moretti. 301-311 [doi]
- Event-Based Service CoordinationGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto. 312-329 [doi]
- Dynamically Evolvable Dependable Software: From Oxymoron to RealityCarlo Ghezzi, Paola Inverardi, Carlo Montangero. 330-353 [doi]
- The Temporal Logic of Rewriting: A Gentle IntroductionJosé Meseguer. 354-382 [doi]
- A Heterogeneous Approach to UML SemanticsMaría Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing. 383-402 [doi]
- Ugo Montanari and Concurrency TheoryRoberto Gorrieri. 403-408 [doi]
- On the Synthesis of Zero-Safe NetsPhilippe Darondeau. 409-426 [doi]
- A Note on Persistent Petri NetsEike Best. 427-438 [doi]
- Secure Data Flow in a Calculus for Context AwarenessDoina Bucur, Mogens Nielsen. 439-456 [doi]
- On Beta-Binders CommunicationsPaola Quaglia. 457-472 [doi]
- On the Asynchronous Nature of the Asynchronous pi-CalculusRomain Beauxis, Catuscia Palamidessi, Frank D. Valencia. 473-492 [doi]
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac MyocytesEzio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka. 493-502 [doi]
- Models of Computation: A Tribute to Ugo Montanari s VisionRoberto Bruni, Vladimiro Sassone. 503-509 [doi]
- Automatic Mutual Exclusion and Atomicity ChecksMartín Abadi. 510-526 [doi]
- Petri Nets, Discrete Physics, and Distributed Quantum ComputationSamson Abramsky. 527-543 [doi]
- A Category of Explicit FusionsFilippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci. 544-562 [doi]
- What Do Semantics Matter When the Meat Is Overcooked?José Luiz Fiadeiro. 563-580 [doi]
- Calculating Colimits CompositionallyRobert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters. 581-592 [doi]
- Observability Concepts in Abstract Data Type Specification, 30 Years LaterDonald Sannella, Andrzej Tarlecki. 593-617 [doi]
- Ugo Montanari and Software VerificationGian Luigi Ferrari. 618-624 [doi]
- History Dependent Automata for Service CompatibilityVincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto. 625-641 [doi]
- A Type System for Client Progress in a Service-Oriented CalculusLucia Acciai, Michele Boreale. 642-658 [doi]
- Session and Union Types for Object Oriented ProgrammingLorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri. 659-680 [doi]
- The Pairing of Contracts and Session TypesCosimo Laneve, Luca Padovani. 681-700 [doi]
- Specifying and Analysing SOC Applications with COWSAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. 701-720 [doi]
- Approximating Behaviors in Embedded System DesignRoberto Passerone, Alberto L. Sangiovanni-Vincentelli. 721-742 [doi]
- Ugo Montanari and FriendsFabio Gadducci. 743-746 [doi]
- Calculating with AutomataJos C. M. Baeten. 747-756 [doi]
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process AlgebraGérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel. 757-777 [doi]
- Some Theorems Concerning the Core FunctionAngelo Raffaele Meo. 778-796 [doi]
- The SeventiesAlberto Martelli. 797-798 [doi]
- Categories, Software and MeaningRobin Milner. 799-801 [doi]
- A Roman SenatorJan J. M. M. Rutten. 802-803 [doi]
- The Semantics of Ugo MontanariFranco Turini. 804-805 [doi]
- Abstraction for a Career in Industry: A Praise for Ugo s 65 YearsDaniel Yankelevich. 806-808 [doi]