Electronic Notes in Theoretical Computer Science, Volume 230

Volume 230, March 2009

Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory - Amsterdam, The Netherlands (GETCO 2004); San Francisco, USA (GETCO 2005); Bonn, Germany (GETCO 2006)

Eric Goubault:
Preface. 1-2
Peter Bubenik:
Context for Models of Concurrency. 3-21
Lior Davidovitch, Shlomi Dolev, Sergio Rajsbaum:
Stability of Multi-Valued Continuous Consensus. 23-38
Emmanuel Haucourt:
A Framework for Component Categories. 39-69
Rachid Guerraoui, Bastian Pochon:
The Complexity of Early Deciding Set Agreement: How can Topology help? 71-78
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. 79-102
Philippe Gaucher:
T-homotopy and Refinement of Observation (I): Introduction. 103-110
Emmanuel Haucourt:
Comparing Topological Models for Concurrency. 111-127
Thomas Kahl:
A Fibration Category of Local Pospaces. 129-140
Sanjeevi Krishnan:
Criteria for Homotopic Maps to be So Along Monotone Homotopies. 141-148
Luigi Santocanale:
Topological Properties of Event Structures. 149-160
Viorica Sofronie-Stokkermans:
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. 161-187