Recent Trends in Algebraic Development Techniques: 21st International Workshop, Wadt 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

By Narciso Martí-Oliet

Open Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Specifications.- Quantitative Modal Transition Systems.- Bounded Model Checking of Recursive Programs with Pointers in K.- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing.- Adaptable Transition Systems.- Compiling Logics.- Transformation Systems with Incremental Negative Application Conditions.- Statistical Model Checking for Composite Actor Systems.- Barbed Semantics for Open Reactive Systems.- Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification of the Kademlia and the Kad Routing Tables in Maude.- A Generic Program Slicing Technique Based on Language Definitions.- Distances between Processes: A Pure Algebraic Approach.

• Format: Paperback
• Language: English
• ISBN: 3642376347
• ISBN13: 9783642376344
• Release Date: April 2013
• Publisher: Springer
• Length: 283 Pages
• Weight: 0.92 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"