Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th GETCO@DISC 2004: Amsterdam, The Netherlands /
7th GETCO@@CONCUR 2005: San Francisco, CA, USA /
8th GETCO 2006: Bonn, Germany
- Éric Goubault:
Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006. Electronic Notes in Theoretical Computer Science 230, Elsevier 2009
Preface
- Eric Goubault:
Preface. 1-2
GETCO@DISC 2004
- 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
GETCO@CONCUR 2005
- Philippe Gaucher:
T-homotopy and Refinement of Observation (I): Introduction. 103-110 - Emmanuel Haucourt:
Comparing Topological Models for Concurrency. 111-127
GETCO 2006
- 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
