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 G. Larsen, Axel Legay

 50-58

Bounded Model Checking of Recursive Programs with Pointers in K.

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

 59-76

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

Lucian Bentea, Peter Csaba Ö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 0001, 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 Valentina 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 Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum

 195-211

Semantics of the Distributed Ontology Language: Institutes and Institutions.

Till Mossakowski, Oliver Kutz, Christoph Lange 0002

 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 Mariuca Asavoae, Mihail Asavoae

 248-264

Distances between Processes: A Pure Algebraic Approach.

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

 265-282