TY  - BOOK
AU  - Martí-Oliet,Narciso
AU  - Palomino,Miguel
TI  - Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 
SN  - 9783642376351
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-37635-1
ER  -