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