文件大小：0.6 MB 15页
基于命名过程演算的拓扑自稳定
作者
-
部分： 音量： 第27届并行理论国际会议（CONCUR 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-08-24
文件
文件标识符
引用为 获取BibTex
摘要
关键词
分布式算法 容错性 拓扑自稳定 线性化 过程演算
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
P.-D.布罗德曼。 异步过程计算的可分配性。 2014年10月，德国柏林理工大学硕士论文。 
-
E.W.迪克斯特拉。 分布式控制中的自稳定系统。 ACM通信，17（11）：643-6441974年11月。
-
S.多列夫。 自我稳定。 麻省理工学院出版社，2000年。
-
D.Gall等人。关于自稳定图线性化并行运行时间的注记。 计算系统理论，55（1）：110-1352014。
-
F.C.Gärtner公司。 异步环境下的容错分布式计算基础。 ACM计算。 调查。， 31（1）:1-261999年3月。
-
M.G.古达。 系统稳定的胜利与磨难。 程序中。 第九届国际WDAG，WDAG’95，第1-18页，1995年。
-
N.A.林奇。 分布式算法。 摩根考夫曼出版社，1996年。
-
M.Merro和D.Sangiorgi。论传名演算中的非同步性。 程序中。 ICALP，LNCS第1443卷，第856-867页。 斯普林格，1998年。
-
R.Milner。 通信和移动系统：pi-calculus。 剑桥大学，1999年。
-
C.里克曼。 基于命名过程演算的拓扑自稳定。 德国柏林理工大学硕士论文，2015年10月。 arxiv.org/abs/1604.04197。
-
D.Sangiorgi和D.Walker。 π演算：移动过程理论。 剑桥大学出版社，2001年。
-
C.Wagner和U.Nestmann。 过程计算中的状态。 程序中。 EXPRESS/SOS，EPTCS第160卷，第48-62页，2014年。