- Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone, editors, 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002. Volume 81 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.