IFIP
Working Group 2.2
Meeting
25 - 29 September 2000, Oldenburg, Germany.
Participants:
Members (and members-emeriti):
-
Jaco de Bakker
-
Philippe Darondeau
-
Javier Esparza
-
S. Igarashi
-
Hans Langmaack
-
Ernst-Ruediger Olderog
-
Amir Pnueli
-
Davide Sangiorgi
-
Masahiko Sato
-
Bernhard Steffen
-
Martin Wirsing
-
Andrzej Tarlecki
Observers:
-
Marta Z. Kwiatkowska
-
Y. Lakhnech
-
Kim G. Larsen
-
Catuscia Palamidessi
-
Wojciech Penczek
-
Gheorge Stefanescu
-
Jüri Vain
-
Igor Walukiewicz
WG 2.2
(darondeau@irisa.fr)