Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

16 results
Deposit type : Fulltext
publicationDateY_i : 2013
Page :
sorted by
Image document

Distances between Processes: A Pure Algebraic Approach

 David Romero Hernández , David De Frutos Escrig
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.265-282, ⟨10.1007/978-3-642-37635-1_16⟩
Conference papers hal-01485974v1
Image document

Open Multiparty Interaction

 Chiara Bodei , Linda Brodo , Roberto Bruni
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩
Conference papers hal-01485975v1
Image document

Bounded Model Checking of Recursive Programs with Pointers in K

 Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers hal-01485978v1
Image document

Formal Specification of the Kademlia and the Kad Routing Tables in Maude

 Isabel Pita , María-Inés Fernández-Camacho
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.231-247, ⟨10.1007/978-3-642-37635-1_14⟩
Conference papers hal-01485972v1
Image document

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

 Lucian Bentea , Peter Csaba Ölveczky
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.77-94, ⟨10.1007/978-3-642-37635-1_5⟩
Conference papers hal-01485979v1
Image document

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1
Image document

Semantics of the Distributed Ontology Language: Institutes and Institutions

 Till Mossakowski , Oliver Kutz , Christoph Lange
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.212-230, ⟨10.1007/978-3-642-37635-1_13⟩
Conference papers hal-01485971v1
Image document

Barbed Semantics for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.161-177, ⟨10.1007/978-3-642-37635-1_10⟩
Conference papers hal-01485968v1
Image document

A Generic Program Slicing Technique Based on Language Definitions

 Adrián Riesco , Irina Măriuca Asăvoae , Mihail Asăvoae
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.248-264, ⟨10.1007/978-3-642-37635-1_15⟩
Conference papers hal-01485973v1
Image document

Behaviour Protection in Modular Rule-Based System Specifications

 Francisco Durán , Fernando Orejas , Steffen Zschaler
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.24-49, ⟨10.1007/978-3-642-37635-1_2⟩
Conference papers hal-01485976v1
Image document

Statistical Model Checking for Composite Actor Systems

 Jonas Eckhardt , Tobias Mühlbauer , José Meseguer , Martin Wirsing
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.143-160, ⟨10.1007/978-3-642-37635-1_9⟩
Conference papers hal-01485983v1
Image document

Compiling Logics

 Mihai Codescu , Fulya Horozal , Aivaras Jakubauskas , Till Mossakowski , Florian Rabe
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.111-126, ⟨10.1007/978-3-642-37635-1_7⟩
Conference papers hal-01485981v1
Image document

Quantitative Modal Transition Systems

 Kim G. Larsen , Axel Legay
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers hal-01485977v1
Image document

Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

 Phillip James , Alexander Knapp , Till Mossakowski , Markus Roggenbach
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.178-194, ⟨10.1007/978-3-642-37635-1_11⟩
Conference papers hal-01485969v1
Image document

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

 Carlos Gustavo López Pombo , Pablo F. Castro , Nazareno M. Aguirre , Thomas E. Maibaum
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.195-211, ⟨10.1007/978-3-642-37635-1_12⟩
Conference papers hal-01485970v1
Image document

Transformation Systems with Incremental Negative Application Conditions

 Andrea Corradini , Reiko Heckel , Frank Hermann , Susann Gottmann , Nico Nachtigall
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers hal-01485982v1
Page :