|
Preliminary Proceedings of the Workshop on Geometry and Topology in
Concurrency Theory, GETCO '02, (Toulouse, France, October 30-31,
2002)
Patrick Cousot
October 2002 |
Abstract:
This volume contains the preliminary proceedings of
GETCO '02 held in Toulouse, France, on October 30-31, 2002, as a satellite
workshop of Disc 2002
Available as PDF. |