Robert P. McArthur
A. N. Prior
D. Kozen
André Thayse
Eileen Campbell
Howard Barringer
Hélène Bestougeff
V. Vinay
Willem-Paul de Roever
Jean-Paul Haton
NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
Brent T. Hailpern