Participants:
Members:
- J.W. de Bakker
(host)
- E. Best
- D. Bjorner
- M. Broy (first day)
- P. Darondeau
- R. De Nicola
- S. Igarashi
- F. Kroeger
- P.E. Lauer
- P.D. Mosses
- E.-J. Neuhold (chair)
- E.-R. Olderog (secretary)
- K.V.S. Prasad
- W.P. de Roever
- B. Steffen
- A. Tarlecki
Observers:
- E. Boerger
- R. Cleaveland
- J. Esparza
- R. Gorrieri
- B. von Karger
- S. Martini
- D. Sannella
- S.A. Smolka
- F. Vaandrager
WG 2.2 (darondeau@irisa.fr)