Stanford CS Theory Division

CONCURRENCY GROUP

Objectives

Members

Vaughan Pratt, Professor Emeritus
Dominic Hughes, Visitor
Rob van Glabbeek, Research Affiliate
Gordon Plotkin, Occasional Summer Visitor
Wendy Cardamone, Administrative Assistant

Graduated Students:

David Harel, MIT, 1978
Bob Streett, MIT, 1981 (coadvisor: Albert Meyer)
Jay Gischer, Stanford, 1984
Ross Casley, Stanford, 1991
Roger Crew, Stanford, 1991
Orli Waarts, Stanford, 1992
Gideon Avrahami, Stanford, 1994
David Magerman, Stanford, 1994 (coadvisor: Fred Jelinek)
Vineet Gupta, Stanford, 1994
Anna Patterson, U. Illinois, 1997 (coadvisor: Gul Aga)
Paul Fahn, Stanford, 1999 (coadvisor: Tom Cover)
Parham Aarabi, Stanford, 2001
Ramon Prieto, Stanford, 2003
Keyvan Mohajer, Stanford, 2007

Publications

Chuguide: Guide to publications about Chu spaces on this server.
Chu Spaces Live: Calculator and tutorial on Chu spaces.
Abstracts of all concurrency-related publications on this server.