Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/