Filter your results
- 13
- 1
- 13
- 1
- 14
- 14
- 14
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Calculus of Virtually Timed Ambients23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.88-103, ⟨10.1007/978-3-319-72044-9_7⟩
Conference papers
hal-01767462v1
|
||
|
|
Advances in Verification of Multi-agent Systems23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.3-4, ⟨10.1007/978-3-319-72044-9_1⟩
Conference papers
hal-01767478v1
|
||
|
|
Formalizing and Validating the P-Store Replicated Data Store in Maude23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.189-207, ⟨10.1007/978-3-319-72044-9_13⟩
Conference papers
hal-01767476v1
|
||
|
|
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.73-87, ⟨10.1007/978-3-319-72044-9_6⟩
Conference papers
hal-01767464v1
|
||
|
|
The Distributed Ontology, Model and Specification Language – DOL23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.5-10, ⟨10.1007/978-3-319-72044-9_2⟩
Conference papers
hal-01767463v1
|
||
|
|
Towards Critical Pair Analysis for the Graph Programming Language GP 223th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.153-169, ⟨10.1007/978-3-319-72044-9_11⟩
Conference papers
hal-01767473v1
|
||
|
|
Canonical Selection of Colimits23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.170-188, ⟨10.1007/978-3-319-72044-9_12⟩
Conference papers
hal-01767466v1
|
||
|
|
Algebraic Model Management: A Survey23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.56-69, ⟨10.1007/978-3-319-72044-9_5⟩
Conference papers
hal-01767471v1
|
||
|
|
Generic Hoare Logic for Order-Enriched Effects with Exceptions23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.208-222, ⟨10.1007/978-3-319-72044-9_14⟩
Conference papers
hal-01767479v1
|
||
|
|
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.13-35, ⟨10.1007/978-3-319-72044-9_3⟩
Conference papers
hal-01767467v1
|
||
|
|
Recent Trends in Algebraic Development TechniquesSpringer International Publishing, LNCS-10644, 2017, Lecture Notes in Computer Science, 978-3-319-72043-2. ⟨10.1007/978-3-319-72044-9⟩
Books
hal-01767477v1
|
||
|
|
An Institution for Event-B23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.104-119, ⟨10.1007/978-3-319-72044-9_8⟩
Conference papers
hal-01767469v1
|
||
|
|
Asymmetric Combination of Logics is Functorial: A Survey23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers
hal-01767465v1
|
||
|
|
Observational Semantics for Dynamic Logic with Binders23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers
hal-01767472v1
|