Participants:
Members:
-
E. Astesiano
-
J.W. de Bakker (host)
-
D. Bjorner
-
S. Igarashi
-
L. Lamport
-
H. Laangmack
-
P.D. Mosses
-
E.-R. Olderog (chairman)
-
M. Paul
-
A. Pnueli
-
W.P. de Roever
-
A. Tarlecki (secretary)
Observers:
-
E. Boerger
-
Dang Van Hun
-
Ch. George
-
Bo Stig Hansen
-
Jifeng He
-
T. Janowski
-
Li Yipping
-
K. Middleburg
-
J. S. Moore
-
R. Moore
-
M. Mukund
-
Nguyen Quoc Toan
-
N. Nikitchenko
-
P. Panangaden
-
P. Pandya
-
M. Sato
-
Tang Zhisong
-
T.H. Tse
-
Wang Juan
-
Xi Jianqing
-
Xu QiWen
-
Zhou Chaochen
WG 2.2
(darondeau@irisa.fr)