IFIP Working Group 2.2 Meeting
14 - 17 May 2001, Rennes, France

Here is the list of talks presented with the links to their abstracts (and to the data on the participants)

• Manfred Broy
  The essence of Messega Sequence Charts
• Egon Boerger
  Design for reuse via structuring techniques for ASMs
• Anders Ravn
  Developing Embedded Systems - where are Foundations needed?
• Catuscia Palamidessi
  On the generalized dining philosophers problem.
• Marcelo Fiore
  On model checking security properties of cryptographic protocols
• Stephan Merz
  Temporal logic with(out) limits
  
• Thematic half-day on Synchrony, asynchrony and distributed control
  with an introduction by Philippe Darondeau and presentations:
  • Paul Caspi
    Embedded control: from asynchrony to synchrony and back
  • Ugo Montanari
    Zero-safe Petri nets: composing nets via transition synchronization
  • Albert Benveniste
    Desynchronization
• Wjciech Penczek
  Bounded model checking for the universal subset of TCTL
• Dina Goldin
  Modeling interactive computation: Turing machines or labeled transition systems?
• Davide Sangiorgi
  Extensionality and intensionality in the Ambient Logic
  
• Thematic half-day on Mobility and global computing
  with an introduction by Davide Sangiorgi and presentations:
  • Luigi Logrippo
    Experiences validating and constructing mobility protocols
  • S. Dal Zilio
    Global computation
  • Rocco De Nicola
    KLAIM and Safe KLAIM
• Igor Walukiewicz
  First-order logic on traces
• Michel Bidoit
  Abstract interpretation: an algebraic approach
• Peter Mosses
  A New Version of Action Semantics
• Frank de Boer
  Proof-Outlines for Threads in Java
• Markus Mueller-Olm>
  Limits of optimal parallel flow analysis