Talks at the Aussois IFIP WG1.3 meeting

    Talks at the Aussois IFIP WG1.3 meeting (January 6-9th, 2011)

    -
    12 abstracts, 12 slides, 3 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 and paper
    A heterogeneous approach to service oriented system specification
  • 3 - Lutz Schroeder ABSTRACT, slides
    Tensoring unranked effects
  • 4 - Jose Fiadeiro ABSTRACT, slides and paper
    An Interface Theory for Service-Oriented Design


    • == Friday January 7th, 2011 - 8h30 --
  • 5 - Dominique Duval ABSTRACT, slides
    Decorated specifications for states and exceptions
  • 6 - Pawel Sobocinski ABSTRACT, slides and paper
    Deriving structural labelled transition systems from reduction rules
  • 7 - David Chemouil ABSTRACT, slides
    Requirements engineering and multi-agent temporal logic
  • 8 - Alexander Knapp ABSTRACT, slides
    The Java memory model: operationally, axiomatically, denotationally


    • == Saturday January 8th, 2011 - 8h30 --
  • 9 - Andrzej Tarlecki ABSTRACT, slides
    Another old story: compositional property-oriented semantics for structured specifications
  • 10 - Till Mossakowski ABSTRACT, slides
    Change management for the heterogeneous tool set
  • 11 - Bartek Klin ABSTRACT, slides
    Nominal automata


    • == Sunday, January 9th, 2011
  • 12 - Dirk Pattinson ABSTRACT, slides
    Fun with Henry