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