|
Preliminary Proceedings of the Workshop on Geometry and Topology in
Concurrency Theory, GETCO '03, (Marseille, France, September 6, 2003)
Patrick Cousot
August 2003 |
Abstract:
This volume contains the preliminary proceedings of
GETCO '03 held jointly with CMCIM 2003 in Marseille, France, on September 6,
2003, as a satellite workshop of CONCUR 2003
Available as PDF. |