IFIP TC6 Open Digital Library

21. WADT 2012: Salamanca, Spain

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

Narciso Martí-Oliet, Miguel Palomino

Springer, Lecture Notes in Computer Science 7841, ISBN: 978-3-642-37634-4, 978-3-642-37635-1


Open Multiparty Interaction.

Chiara Bodei, Linda Brodo, Roberto Bruni


Behaviour Protection in Modular Rule-Based System Specifications.

Francisco Durán, Fernando Orejas, Steffen Zschaler


Quantitative Modal Transition Systems.

Kim G. Larsen, Axel Legay


Bounded Model Checking of Recursive Programs with Pointers in K.

Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot


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

Lucian Bentea, Peter Csaba Ölveczky


Adaptable Transition Systems.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin


Compiling Logics.

Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe


Transformation Systems with Incremental Negative Application Conditions.

Andrea Corradini, Reiko Heckel, Frank Hermann 0001, Susann Gottmann, Nico Nachtigall


Statistical Model Checking for Composite Actor Systems.

Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing


Barbed Semantics for Open Reactive Systems.

Fabio Gadducci, Giacoma Valentina Monreale


Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach


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

Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum


Semantics of the Distributed Ontology Language: Institutes and Institutions.

Till Mossakowski, Oliver Kutz, Christoph Lange 0002


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

Isabel Pita, María-Inés Fernández-Camacho


A Generic Program Slicing Technique Based on Language Definitions.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae


Distances between Processes: A Pure Algebraic Approach.

David Romero-Hernández, David de Frutos-Escrig