|
Preliminary Proceedings of the Workshop on Geometry and Topology in
Concurrency Theory, GETCO '01, (Aalborg, Denmark, August 25, 2001)
Patrick Cousot
August 2001 |
Abstract:
This volume contains the preliminary proceedings of
GETCO '01 held at the University of Aalborg on August 25, 2001, as a
satellite workshop of CONCUR '01
Available as PDF. |