An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Abstract [lambda]-Calculus Machines / Werner E. Kluge
Programming in [Omega]mega / Tim Sheard ; Nathan Linger
A Tutorial on Object-Oriented Functional Programming / Horia F. Pop
Use Cases for Refactoring in Erlang / Tamas Kozsik ; Zoltan Horvath ; Roland Kiraly ; Robert Kitlei ; Laszlo Lovei ; Tamas Nagy ; Melinda Toth ; Aniko Vig
From Interpretation to Compilation / Jan Martin Jansen
Author Index
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
Unfolding Graph Transformation Systems: Theory and Applications to Verification / Paolo Baldan ; Barbara Konig
Graph-Based Design and Analysis of Dynamic Software Architectures / Roberto Bruni ; Antonio Bucchiarone ; Stefania Gnesi ; Dan Hirsch ; Alberto Lluch Lafuente
Graph Transformation Units - An Overview / Hans-Jorg Kreowski ; Sabine Kuske ; Grzegorz Rozenberg
Synchronous Multiparty Synchronizations and Transactions / Ivan Lanese ; Hernan Melgratti
Transformations in Reconfigurable Place/Transition Systems / Ulrike Prange ; Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg
Explicit State Model Checking for Graph Grammars / Arend Rensink
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design / Leila Ribeiro ; Fernando Luis Dotti
Constraint and Logic Programming
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section / Francesca Rossi
Declarative Debugging of Membership Equational Logic Specifications / Rafael Caballero ; Narciso Marti-Oliet ; Adrian Riesco ; Alberto Verdejo
Spreadspaces: Mathematically-Intelligent Graphical Spreadsheets / Nachum Dershowitz ; Claude Kirchner
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy / Manuel V. Hermenegildo ; Francisco Bueno ; Manuel Carro ; Pedro Lopez ; Jose F. Morales ; German Puebla
AND/OR Multi-valued Decision Diagrams for Constraint Networks / Robert Mateescu ; Rina Dechter
Software Engineering
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section
Modeling Business within a UML-Based Rigorous Software Development Approach / Egidio Astesiano ; Gianna Reggio ; Filippo Ricca
From Domain to Requirements / Dines Bjorner
Business Process Modeling for Organizational Knowledge Management / Luca Abeti ; Paolo Ciancarini ; Rocco Moretti
Event-Based Service Coordination / Gian-Luigi Ferrari ; Roberto Guanciale ; Daniele Strollo ; Emilio Tuosto
Dynamically Evolvable Dependable Software: From Oxymoron to Reality / Carlo Ghezzi ; Paola Inverardi ; Carlo Montangero
The Temporal Logic of Rewriting: A Gentle Introduction
A Heterogeneous Approach to UML Semantics / Maria Victoria Cengarle ; Alexander Knapp ; Andrzej Tarlecki ; Martin Wirsing
Concurrency Theory
Ugo Montanari and Concurrency Theory / Roberto Gorrieri
On the Synthesis of Zero-Safe Nets / Philippe Darondeau
A Note on Persistent Petri Nets / Eike Best
Secure Data Flow in a Calculus for Context Awareness / Doina Bucur ; Mogens Nielsen
On Beta-Binders Communications / Paola Quaglia
On the Asynchronous Nature of the Asynchronous [pi]-Calculus / Romain Beauxis ; Catuscia Palamidessi ; Frank D. Valencia
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes / Ezio Bartocci ; Flavio Corradini ; Radu Grosu ; Emanuela Merelli ; Oliviero Riganelli ; Scott A. Smolka
Models of Computation
Models of Computation: A Tribute to Ugo Montanari's Vision / Vladimiro Sassone
Automatic Mutual Exclusion and Atomicity Checks / Martin Abadi
Petri Nets, Discrete Physics, and Distributed Quantum Computation / Samson Abramsky
A Category of Explicit Fusions / Filippo Bonchi ; Maria Grazia Buscemi ; Vincenzo Ciancia ; Fabio Gadducci
What Do Semantics Matter When the Meat Is Overcooked? / Jose Luiz Fiadeiro
Calculating Colimits Compositionally / Robert Rosebrugh ; Nicoletta Sabadini ; Robert F.C. Walters
Observability Concepts in Abstract Data Type Specification, 30 Years Later / Donald Sannella
Software Verification
Ugo Montanari and Software Verification
History Dependent Automata for Service Compatibility / Marco Pistore
A Type System for Client Progress in a Service-Oriented Calculus / Lucia Acciai ; Michele Boreale
Session and Union Types for Object Oriented Programming / Lorenzo Bettini ; Sara Capecchi ; Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Betti Venneri
The Pairing of Contracts and Session Types / Cosimo Laneve ; Luca Padovani
Specifying and Analysing SOC Applications with COWS / Alessandro Lapadula ; Rosario Pugliese ; Francesco Tiezzi
Approximating Behaviors in Embedded System Design / Roberto Passerone ; Alberto L. Sangiovanni-Vincentelli
Friends
Ugo Montanari and Friends
Calculating with Automata / Jos C.M. Baeten
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra / Gerard Boudol ; Ilaria Castellani ; Matthew Hennessy ; Glynn Winskel
Some Theorems Concerning the Core Function / Angelo Raffaele Meo
The Seventies / Alberto Martelli
Categories, Software and Meaning / Robin Milner
A Roman Senator / Jan Rutten
The Semantics of Ugo Montanari / Franco Turini
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years / Daniel Yankelevich
Author Index
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini