Talks at the Aussois IFIP WG1.3 meeting
Talks at the Aussois IFIP WG1.3 meeting (January 6-9th, 2011)
-2 abstracts, 2 slides, 0 papers (or links)
== Thursday January 6th, 2011 - 8h30 --
- 1 - Reiko Heckel
ABSTRACT,
slides
Parallelism and Concurrency of Stochastic Graph Transformations
- 2 - Alexander Knapp
ABSTRACT,
slides
A heterogeneous approach to service oriented system specification
- 3 - Lutz Schroeder
ABSTRACT,
slides
Tensoring unranked effects
- 4 - Jose Fiadeiro
An Interface Theory for Service-Oriented Design
== Friday January 7th, 2011 - 8h30 --
- 5 - Dominique Duval
Decorated specifications for states and exceptions
- 6 - Pawel Sobocinski
Deriving structural labelled transition systems from reduction rules
- 7 - David Chemouil
Requirements engineering and multi-agent temporal logic
- 8 - Alexander Knapp
The Java memory model: operationally, axiomatically, denotationally
== Saturday January 8th, 2011 - 8h30 --
- 9 - Bartek Klin
title
- 10 - Till Mossakowski
Change management for the heterogeneous tool set
- 11 - Andrzej Tarlecki
title
== Sunday, January 9th, 2011