第六 GETCO@磁盘 2004年:荷兰阿姆斯特丹/
第七届GETCO@CONCUR 2005:美国加利福尼亚州旧金山/
第八届GETCO 2006:德国波恩
埃里克·古堡 :
并行理论中几何和拓扑方法研讨会论文集, GETCO@光盘 2004年,荷兰阿姆斯特丹,2004+ GETCO@CONCUR公司 2005年10月,美国加利福尼亚州旧金山,2005年8月+GETCO 2006年,德国波恩,2006年。 理论计算机科学电子笔记 230, 爱思维尔 2009
前言
埃里克·古堡 :
前言。 1-2
GETCO公司@ 磁盘 2004
彼得·布贝尼克 :
并发模型的上下文。 3-21 利奥·戴维多维奇 , 什洛米·多列夫 , 塞尔吉奥·拉兹鲍姆 :
多值连续共识的稳定性。 23-38 埃马纽埃尔·豪考特 :
组件类别框架。 39-69 拉希德·格雷劳伊 , 巴斯蒂安·波雄 :
早期决策集协议的复杂性:拓扑如何帮助? 71-78 赫利希 , 塞尔吉奥·拉兹鲍姆 , 马克·塔特尔 :
计算同步和异步系统连通性的公理方法。 79-102
GETCO公司@ CONCUR公司 2005
GETCO 2006年
托马斯·卡尔 :
局部位置空间的纤维化类别。 129-140 桑吉维·克里希南 :
同伦映射沿单调同伦的准则。 141-148 路易吉·桑托卡纳莱 :
事件结构的拓扑属性。 149-160 Viorica Sofronie-Stokkerman公司 :
滑轮和几何逻辑及其在复杂系统模块验证中的应用。 161-187