default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21. WADT 2012: Salamanca, Spain
- Narciso Martí-Oliet, Miguel Palomino:
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7841, Springer 2013, ISBN 978-3-642-37634-4 - Chiara Bodei
, Linda Brodo, Roberto Bruni:
Open Multiparty Interaction. 1-23 - Francisco Durán, Fernando Orejas, Steffen Zschaler:
Behaviour Protection in Modular Rule-Based System Specifications. 24-49 - Kim G. Larsen, Axel Legay:
Quantitative Modal Transition Systems. 50-58 - Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot:
Bounded Model Checking of Recursive Programs with Pointers in K. 59-76 - Lucian Bentea, Peter Csaba Ölveczky:
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. 77-94 - Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. 95-110 - Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe:
Compiling Logics. 111-126 - Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall:
Transformation Systems with Incremental Negative Application Conditions. 127-142 - Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Statistical Model Checking for Composite Actor Systems. 143-160 - Fabio Gadducci, Giacoma Valentina Monreale:
Barbed Semantics for Open Reactive Systems. 161-177 - Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. 178-194 - Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum:
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. 195-211 - Till Mossakowski, Oliver Kutz, Christoph Lange:
Semantics of the Distributed Ontology Language: Institutes and Institutions. 212-230 - Isabel Pita, María-Inés Fernández-Camacho:
Formal Specification of the Kademlia and the Kad Routing Tables in Maude. 231-247 - Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
A Generic Program Slicing Technique Based on Language Definitions. 248-264 - David Romero-Hernández, David de Frutos-Escrig:
Distances between Processes: A Pure Algebraic Approach. 265-282
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
