1986年第五届PODC:加拿大阿尔伯塔省卡尔加里
约瑟夫·哈珀(Joseph Y.Halpern) :
第五届ACM分布式计算原理年度研讨会论文集,加拿大阿尔伯塔省卡尔加里,1986年8月11-13日。 ACM公司 1986 ,国际标准图书编号 0-89791-198-9 巴特勒·W·兰普森 :
设计全局名称服务。 1-10 南希·A·林奇 , 芭芭拉·布莱斯汀 , 迈克尔·D·西格尔 :
高可用复制数据库的正确性条件。 11-28 芭芭拉·利斯科夫 , 里夫卡·拉丁 :
高可用分布式服务和容错分布式垃圾收集。 29-39 布莱恩·科恩 , 詹妮弗·伦德利乌斯 :
现实故障模型中的事务提交。 40-51 乔什·科恩·贝纳洛 , 莫蒂·容格(Moti Yung) :
分配政府权力以加强选民隐私(扩展摘要)。 52-62 布莱恩·科恩 :
容错分布式协议的通信高效规范形式。 63-72 艾伦·大卫·费科特 :
近似一致的渐近最优算法。 73-87 格雷格·弗雷德里克森 , 拉维·贾纳丹 :
无完整路由表的最佳消息路由(初步版本)。 88-97 大卫·佩莱 , 芭芭拉·西蒙斯 :
关于一般网络中的容错路由。 98-107 罗伯特·J·福勒 :
使用转发地址进行分散对象查找的复杂性。 108-120 西蒙·卡普兰 , 盖尔·凯泽 :
分布式语言环境中的增量属性求值。 121-130 什洛莫·莫兰 , 曼弗雷德·K·沃穆特 :
分布式计算的间隙定理。 131-140 伊莎·曼苏尔 , Shmuel Zaks公司 :
关于带前导环的分布式计算的比特复杂度。 151-160 卡尔·R·亚伯拉罕森 , 安德鲁·阿德勒 , 丽莎·海姆 , 大卫·G·柯克帕特里克 :
环上的概率孤立性验证。 161-173 密码学基础 , 流坝神社 :
链路故障对异步环计算的影响。 174-185 布莱恩·科恩 , 布莱恩·奥基 , 埃利奥特·科洛德纳 :
网络分区时对数据库可用性的限制。 187-194 丹尼尔·巴巴拉 , 赫克托尔·加西亚-莫利纳 , Annemarie Spauster公司 :
动态投票重新分配协议。 195-205 赫利希 :
抽象数据类型的乐观并发控制。 206-217 克莱德·克鲁斯卡尔 , 其发言人拉利 , 史尼亚 :
共享内存多处理器上的高效同步。 218-228 李凯(Kai Li) , 保罗·哈达克 :
共享虚拟内存系统中的内存一致性。 229-239 埃德蒙·克拉克 , 奥尔娜·格伦伯格 , 迈克尔·C·布朗 :
关于具有许多相同有限状态过程的网络的推理。 240-248 Shmuel Katz先生 , 加迪·塔本费尔德 :
流程知识:定义和证明方法(初版)。 249-262 Foto N.Afrati公司 , 克里斯托斯·帕帕迪米特里奥 , 乔治·帕帕乔治奥 :
通信协议的综合。 263-271 Yukon Chang公司 , Janos西蒙 :
Hypercube上的连续路由和批量路由。 272-281 巴鲁克·希伯 , 什洛莫·莫兰 :
获得快速分布式并行算法的慢速序列算法:最大匹配。 282-292