Talks at the Urbana Champaign IFIP WG1.3 meeting

    Talks at the Urbana Champaign IFIP WG1.3 meeting (July 31st-August 2nd, 2008)

    8 abstracts, 6 slides, 0 papers

    == Thursday, July 31st, 2008
  • 1 - Andrzej Tarlecki abstract, slides
    Heterogeneous logical environments for distributed specifications
  • 2 - Martin Wirsing abstract, slides
    What is a multi-paradigm language?
  • 3 - Jan Rutten abstract,
    Regular expressions coalgebraically


    • == Friday, August 1st, 2008
  • 4 - Bartek Klin abstract,
    Structural operational semantics of stochastic systems
  • 5 - Narciso Marti-Oliet abstract, slides
    A Rewriting Semantics for Maude Strategies
  • 6/7 - Jose Fiadeiro abstract, slides
    Semantics of Service Discovery and Binding - Part 1, Part 2
  • 8 - Fabio Gadducci
    Labeled transitions for mobile ambients
  • 9 - Rolf Hennicker abstract, slides
    An Algebraic Semantics for Contract-based Software Components (On Getting a Chance to Finish my AMAST Talk)


    • == Saturday, August 2st, 2008
  • 10 - Tom Maibaum
    Fault Tolerance and Deontic Logic
  • 11 - Jose Meseguer
    Recent Advances in Rewriting Logic and Maude
  • 12 - Grigore Rosu abstract, slides
    K: The Concurrent Rewrite Abstract Machine