Strategic Directions in Computing Research
Concurrency Working Group

Email Alias

Group Scope and Goals

• Scope and Goals (not available yet)
• Instructions for Working Groups

Group Report

• Summary of Position Statements
• First Draft of Working Group Report
• Second Draft of Working Group Report
• Final Draft of Working Group Report (HTML)
• Final Draft of Working Group Report (PostScript)

Chair

• Scott Smolka (sas AT cs DOT sunysb DOT edu), SUNY at Stony Brook [Statement]

Participants

• Rajeev Alur (alur@research.att.com), AT&T Bell Labs [Citation, Statement]
• Jos Baeten (josb@win.tue.nl), Tecnical University of Eindhoven [Statement]
• Eike Best (E.Best@informatik.uni-oldenburg.de), University of Hildesheim [Citation, Statement]
• Rance Cleaveland (rance@csc.ncsu.edu), N.C. State University [Citation, Statement]
• Rocco De Nicola (denicola@dsi2.ing.unifi.it), University of Firenze [Citation, Statement]
• Helen Gill (hgill@nsf.gov), NSF [Statement]
• Roberto Gorrieri (gorrieri@cs.unibo.it), University of Bologna [Citation, Statement]
• Mohamed Gouda (gouda@cs.utexas.edu), University of Texas at Austin [Citation, Statement]
• Jan Friso Groote (jfg@cwi.nl), CWI [Citation, Statement]
• Tom Henzinger (tah@eecs.berkeley.edu), University of California at Berkeley [Citation, Statement]
• C.A.R. Hoare (Tony.Hoare@comlab.ox.ac.uk), Oxford University [Citation, Statement]
• Major David Luginbuhl (david.luginbuhl@afosr.af.mil), AFOSR [Statement]
• Dale Miller (dale@cis.upenn.edu), University of Pennsylvania [Citation, Statement]
• Jay Misra (misra@cs.utexas.edu), University of Texas at Austin [Statement]
• Faron Moller (fm@sics.se), Swedish Institute of Computer Science [Citation, Statement]
• Ugo Montanari (ugo@di.unipi.it), University of Pisa [Citation, Statement]
• Sanjiva Prasad (sanjiva@cse.iitd.ernet.in), IIT Delhi [Statement]
• Vaughan Pratt (pratt@cs.stanford.edu), Stanford University [Statement]
• Joseph Sifakis (Joseph.Sifakis@imag.fr), University of Grenoble [Statement]
• Bernhard Steffen (steffen@fmi.uni-passau.de), University of Passau [Statement]
• Bent Thomsen (Bent.Thomsen@ecrc.de), ECRC [Citation, Statement]
• Frits Vaandrager (Frits.Vaandrager@cs.kun.nl), University of Nijmegen [Statement]
• Pierre Wolper (pw@montefiore.ulg.ac.be), University of Liege [Citation, Statement]

Reference Materials

Return to the Strategic Directions in Computing Research page