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
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
Last update Wed Feb 15 05:21:11 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
