Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory, GETCO '00, (State College, USA, August 21, 2000)

Patrick Cousot
Eric Goubault
Jeremy Gunawardena
Maurice Herlihy
Martin Raussen
Vladimiro Sassone (editors)

August 2000

Abstract:

This volume contains the preliminary proceedings of GETCO '00, held in State College (Pennsylvania, USA) on August 21, 2000. The workshop aims at bringing together researchers from both the mathematical (geometry, topology, algebraic topology etc.) and computer scientific side (concurrency theorists, semanticians, researchers in distributed systems etc.) with an active interest in these or related developments. The final proceedings will appear as volume 39 in the ENTCS series, which can be found at www.elsevier.nl/locate/entcs/volume39.html

Available as PostScript, PDF.

Last modified: 2003-06-04 by webmaster.