default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20. WADT 2010: Etelsen, Germany
- Till Mossakowski, Hans-Jörg Kreowski:
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7137, Springer 2012, ISBN 978-3-642-28411-3
Invited Talks
- Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. 1-12 - Hans-Dieter Ehrich:
My ADT Shrine. 13-24 - Jan Kofron
, Frantisek Plásil:
Evolving SOA in the Q-ImPrESS Project. 25-26
Contributed Papers
- Paolo Baldan, Clara Bertolissi:
Sharing in the Graph Rewriting Calculus. 27-41 - Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo:
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. 42-60 - Pablo F. Castro, T. S. E. Maibaum:
Towards a First-Order Deontic Action Logic. 61-75 - Christine Choppy, Gianna Reggio:
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. 76-97 - Mihai Codescu:
Lambda Expressions in Casl Architectural Specifications. 98-117 - Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. 118-138 - Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. 139-159 - Andrea Corradini, Fabio Gadducci, Leila Ribeiro:
An Institution for Graph Transformation. 160-174 - Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. 175-192 - Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
Combining Graph Transformation and Algebraic Specification into Model Transformation. 193-208 - Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach:
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. 209-225 - Grzegorz Marczynski:
Algebraic Signatures Enriched by Dependency Structure. 226-250 - Liam O'Reilly, Till Mossakowski, Markus Roggenbach:
Compositional Modelling and Reasoning in an Institution for Processes and Data. 251-269 - Daniel Seidel, Janis Voigtländer:
Proving Properties about Functions on Lists Involving Element Tests. 270-286 - Adrián Riesco:
Test-Case Generation for Maude Functional Modules. 287-301
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 2024-12-26 01:01 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:
