Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/