Table of Contents
|
Recent Trends in Algebraic Development Techniques
Phillip James, Markus Roggenbach |
Front Matter |
Abstracts of Invited Talks
|
Advances in Verification of Multi-agent Systems
Alessio Lomuscio |
3-4 |
The Distributed Ontology, Model and Specification Language – DOL
Till Mossakowski |
5-10 |
Invited Talk
|
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
Kenneth Johnson, John Tucker, Victoria Wang |
13-35 |
Survey Papers
|
Asymmetric Combination of Logics is Functorial: A Survey
Renato Neves, Alexandre Madeira, Luis Barbosa, Manuel Martins |
39-55 |
Algebraic Model Management: A Survey
Patrick Schultz, David Spivak, Ryan Wisnesky |
56-69 |
Regular Papers
|
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
Jan Bergstra, Alban Ponse |
73-87 |
A Calculus of Virtually Timed Ambients
Einar Johnsen, Martin Steffen, Johanna Stumpf |
88-103 |
An Institution for Event-B
Marie Farrell, Rosemary Monahan, James Power |
104-119 |
On the Most Suitable Axiomatization of Signed Integers
Hubert Garavel |
120-134 |
Observational Semantics for Dynamic Logic with Binders
Rolf Hennicker, Alexandre Madeira |
135-152 |
Towards Critical Pair Analysis for the Graph Programming Language GP 2
Ivaylo Hristakiev, Detlef Plump |
153-169 |
Canonical Selection of Colimits
Till Mossakowski, Florian Rabe, Mihai Codescu |
170-188 |
Formalizing and Validating the P-Store Replicated Data Store in Maude
Peter Ölveczky |
189-207 |
Generic Hoare Logic for Order-Enriched Effects with Exceptions
Christoph Rauch, Sergey Goncharov, Lutz Schröder |
208-222 |
Hosted by HAL : 