19. WADT 2008: Pisa, Italy

Andrea Corradini, Ugo Montanari (Eds.): Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5486 Springer 2009, ISBN 978-3-642-03428-2

Invited Talks

Michael Altenhofen, Egon Börger:
Concurrent Abstract State Machines and ⁺CAL Programs. 1-17
Luca Cardelli:
Molecules as Automata. 18-20
Allan Clark, Stephen Gilmore, Mirco Tribastone:
Service-Level Agreements for Service-Oriented Computing. 21-36

Contributed Papers

Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. 37-55
Stefano Bistarelli, Francesco Santini:
C-semiring Frameworks for Minimum Spanning Tree Problems. 56-70
Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing:
What Is a Multi-modeling Language? 71-87
Mihai Codescu:
Generalized Theoroidal Institution Comorphisms. 88-101
Andrea Corradini, Luciana Foss, Leila Ribeiro:
Graph Transformation with Dependencies for the Specification of Interactive Systems. 102-118
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa:
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. 119-134
Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu:
A Rewriting Logic Approach to Type Inference. 135-151
Fabio Gadducci:
A Term-Graph Syntax for Algebras over Multisets. 152-165
Karl Gmeiner, Bernhard Gramlich:
Transformations of Conditional Rewrite Systems Revisited. 166-186
Mark Hills, Grigore Rosu:
Towards a Module System for K. 187-205
Temesghen Kahsai, Markus Roggenbach:
Property Preserving Refinement for Csp-Casl. 206-220
Christian Koehler, Farhad Arbab, Erik P. de Vink:
Reconfiguring Distributed Reo Connectors. 221-235
Barbara Kordy:
A Rewrite Approach for Pattern Containment. 236-250
Luís Monteiro:
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. 251-265
Till Mossakowski, Andrzej Tarlecki:
Heterogeneous Logical Environments for Distributed Specifications. 266-289
Andrei Popescu, Grigore Rosu:
Term-Generic Logic. 290-307
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet:
Declarative Debugging of Rewriting Logic Specifications. 308-325
Kristina Sojakova, Florian Rabe:
Translating a Dependently-Typed Logic to First-Order Logic. 326-341