Table of Contents
|
Recent Trends in Algebraic DevelopmentTechniques
Narciso Martí-Oliet, Miguel Palomino (Eds.)
|
Front Matter |
Open Multiparty Interaction
Chiara Bodei, Linda Brodo, Roberto Bruni |
1-23 |
Behaviour Protection in Modular Rule-Based System Specifications
Francisco Durán, Fernando Orejas, Steffen Zschaler |
24-49 |
Quantitative Modal Transition Systems
Kim Larsen, Axel Legay |
50-58 |
Bounded Model Checking of Recursive Programs with Pointers in K
Irina Asăvoae, Frank Boer, Marcello Bonsangue, Dorel Lucanu, Jurriaan Rot |
59-76 |
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
Lucian Bentea, Peter Ölveczky |
77-94 |
Adaptable Transition Systems
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin |
95-110 |
Compiling Logics
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe |
111-126 |
Transformation Systems with Incremental Negative Application Conditions
Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall |
127-142 |
Statistical Model Checking for Composite Actor Systems
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing |
143-160 |
Barbed Semantics for Open Reactive Systems
Fabio Gadducci, Giacoma Monreale |
161-177 |
Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach |
178-194 |
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
Carlos López Pombo, Pablo Castro, Nazareno Aguirre, Thomas Maibaum |
195-211 |
Semantics of the Distributed Ontology Language: Institutes and Institutions
Till Mossakowski, Oliver Kutz, Christoph Lange |
212-230 |
Formal Specification of the Kademlia and the Kad Routing Tables in Maude
Isabel Pita, María-Inés Fernández-Camacho |
231-247 |
A Generic Program Slicing Technique Based on Language Definitions
Adrián Riesco, Irina Asăvoae, Mihail Asăvoae |
248-264 |
Distances between Processes: A Pure Algebraic Approach
David Romero Hernández, David Frutos Escrig |
265-282 |
Hosted by HAL : 