Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/