Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Algebraic Development Techniques

21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Narciso Martí-Oliet

    1. Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Miguel Palomino

    1. Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7841)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WADT 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Open Multiparty Interaction

    • Chiara Bodei, Linda Brodo, Roberto Bruni
    Pages 1-23

  3. Behaviour Protection in Modular Rule-Based System Specifications

    • Francisco Durán, Fernando Orejas, Steffen Zschaler
    Pages 24-49

  4. Quantitative Modal Transition Systems

    • Kim G. Larsen, Axel Legay
    Pages 50-58

  5. Bounded Model Checking of Recursive Programs with Pointers in K

    • Irina Măriuca Asăvoae, Frank de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
    Pages 59-76

  6. A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

    • Lucian Bentea, Peter Csaba Ölveczky
    Pages 77-94

  7. Adaptable Transition Systems

    • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
    Pages 95-110

  8. Compiling Logics

    • Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
    Pages 111-126

  9. Transformation Systems with Incremental Negative Application Conditions

    • Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
    Pages 127-142

  10. Statistical Model Checking for Composite Actor Systems

    • Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
    Pages 143-160

  11. Barbed Semantics for Open Reactive Systems

    • Fabio Gadducci, Giacoma Valentina Monreale
    Pages 161-177

  12. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

    • Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
    Pages 178-194

  13. Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

    • Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno M. Aguirre, Thomas S. E. Maibaum
    Pages 195-211

  14. Semantics of the Distributed Ontology Language: Institutes and Institutions

    • Till Mossakowski, Oliver Kutz, Christoph Lange
    Pages 212-230

  15. Formal Specification of the Kademlia and the Kad Routing Tables in Maude

    • Isabel Pita, María-Inés Fernández-Camacho
    Pages 231-247

  16. A Generic Program Slicing Technique Based on Language Definitions

    • Adrián Riesco, Irina Măriuca Asăvoae, Mihail Asăvoae
    Pages 248-264

  17. Distances between Processes: A Pure Algebraic Approach

    • David Romero Hernández, David de Frutos Escrig
    Pages 265-282

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain.
The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.

Editors and Affiliations

  • Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    Narciso Martí-Oliet, Miguel Palomino

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation