20. WADT 2010: Etelsen, Germany
Till Mossakowski, Hans-Jörg Kreowski (Eds.): Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 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
Contributed Papers
- Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo: A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. 42-60
- 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, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: A Proof Theoretic Interpretation of Model Theoretic Hiding. 118-138
- Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. 139-159
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team