default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. WADT 2008: Pisa, Italy
- Andrea Corradini, Ugo Montanari:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
