Abstract is missing.
- Open Multiparty InteractionChiara Bodei, Linda Brodo, Roberto Bruni. 1-23 [doi]
- Behaviour Protection in Modular Rule-Based System SpecificationsFrancisco Durán, Fernando Orejas, Steffen Zschaler. 24-49 [doi]
- Quantitative Modal Transition SystemsKim G. Larsen, Axel Legay. 50-58 [doi]
- Bounded Model Checking of Recursive Programs with Pointers in KIrina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot. 59-76 [doi]
- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud ComputingLucian Bentea, Peter Csaba Ölveczky. 77-94 [doi]
- Adaptable Transition SystemsRoberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. 95-110 [doi]
- Compiling LogicsMihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe. 111-126 [doi]
- Transformation Systems with Incremental Negative Application ConditionsAndrea Corradini, Reiko Heckel, Frank Hermann 0001, Susann Gottmann, Nico Nachtigall. 127-142 [doi]
- Statistical Model Checking for Composite Actor SystemsJonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing. 143-160 [doi]
- Barbed Semantics for Open Reactive SystemsFabio Gadducci, Giacoma Valentina Monreale. 161-177 [doi]
- Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using CaslPhillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach. 178-194 [doi]
- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General LogicsCarlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum. 195-211 [doi]
- Semantics of the Distributed Ontology Language: Institutes and InstitutionsTill Mossakowski, Oliver Kutz, Christoph Lange 0002. 212-230 [doi]
- Formal Specification of the Kademlia and the Kad Routing Tables in MaudeIsabel Pita, María-Inés Fernández-Camacho. 231-247 [doi]
- A Generic Program Slicing Technique Based on Language DefinitionsAdrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae. 248-264 [doi]
- Distances between Processes: A Pure Algebraic ApproachDavid Romero-Hernández, David de Frutos-Escrig. 265-282 [doi]