03826nam a22005537a 4500001001500000003000900015005001700024007001500041008004100056020001800097024003500115050001500150050001400165050001200179072001500191072001600206072002300222072002300245082002000268245023200288264008200520300004200602336002600644337002600670338003600696347002400732490005800756505102600814520081401840650002202654650001502676650002002691650002402711650003502735650002202770650003702792650004502829650003002874650002702904650003702931650004002968700003703008700003103045710003403076773002003110776003603130830005803166856004803224sulb-eb0024980BD-SySUS20160413122505.0cr nn 008mamaa130413s2013 gw | s |||| 0|eng d a97836423763517 a10.1007/978-3-642-37635-12doi 4aQA76.9.L63 4aQA76.5913 4aQA76.63 7aUM2bicssc 7aUYF2bicssc 7aCOM0510002bisacsh 7aCOM0360002bisacsh04a005.101511322310aRecent Trends in Algebraic Development Techniquesh[electronic resource] :b21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /cedited by Narciso Martí-Oliet, Miguel Palomino. 1aBerlin, Heidelberg :bSpringer Berlin Heidelberg :bImprint: Springer,c2013. aX, 283 p. 71 illus.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aLecture Notes in Computer Science,x0302-9743 ;v78410 aOpen 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. aThis 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. 0aComputer science. 0aComputers. 0aComputer logic. 0aMathematical logic. 0aComputer sciencexMathematics.14aComputer Science.24aLogics and Meanings of Programs.24aMathematical Logic and Formal Languages.24aMathematics of Computing.24aTheory of Computation.24aComputation by Abstract Devices.24aMathematical Logic and Foundations.1 aMartí-Oliet, Narciso.eeditor.1 aPalomino, Miguel.eeditor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9783642376344 0aLecture Notes in Computer Science,x0302-9743 ;v784140uhttp://dx.doi.org/10.1007/978-3-642-37635-1