Book Volume 7841 2013

Recent Trends in Algebraic Development Techniques

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

Editors:

ISBN: 978-3-642-37634-4 (Print) 978-3-642-37635-1 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-23

    Open Multiparty Interaction

  3. No Access

    Chapter

    Pages 24-49

    Behaviour Protection in Modular Rule-Based System Specifications

  4. No Access

    Chapter

    Pages 50-58

    Quantitative Modal Transition Systems

  5. No Access

    Chapter

    Pages 59-76

    Bounded Model Checking of Recursive Programs with Pointers in K

  6. No Access

    Chapter

    Pages 77-94

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

  7. No Access

    Chapter

    Pages 95-110

    Adaptable Transition Systems

  8. No Access

    Chapter

    Pages 111-126

    Compiling Logics

  9. No Access

    Chapter

    Pages 127-142

    Transformation Systems with Incremental Negative Application Conditions

  10. No Access

    Chapter

    Pages 143-160

    Statistical Model Checking for Composite Actor Systems

  11. No Access

    Chapter

    Pages 161-177

    Barbed Semantics for Open Reactive Systems

  12. No Access

    Chapter

    Pages 178-194

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

  13. No Access

    Chapter

    Pages 195-211

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

  14. No Access

    Chapter

    Pages 212-230

    Semantics of the Distributed Ontology Language: Institutes and Institutions

  15. No Access

    Chapter

    Pages 231-247

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

  16. No Access

    Chapter

    Pages 248-264

    A Generic Program Slicing Technique Based on Language Definitions

  17. No Access

    Chapter

    Pages 265-282

    Distances between Processes: A Pure Algebraic Approach

  18. Back Matter

    Pages -