## 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