柯斯汀·彼得斯 使用编码比较处理结石。 （英语） Zbl 07449992号 Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300，19-38（2019）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}，电子。程序。西奥。计算。科学。（EPTCS）300，19-38（2019；Zbl 07449992） 全文： arXiv公司 链接
柯斯汀·彼得斯;乌韦·内斯特曼 打破对称。 （英语） Zbl 1362.68219号 数学。结构。计算。科学。 26，第6期，1054-1106（2016）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{U.Nestmann}，数学。结构。计算。科学。26，第6号，1054--1106（2016；Zbl 1362.68219） 全文： 内政部 arXiv公司
本杰明·比斯平;鲍尔·达维德·布罗德曼;蒂姆·荣尼尼;克里斯蒂娜·里克曼;海宁·赛德勒;安克·苏贝尔;Wilhelm Weidner，阿诺;柯斯汀·彼得斯;乌韦·内斯特曼 FLP构造性证明的机械验证。 （英语） Zbl 1478.68146号 Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 107-122 (2016).MSC公司：60年第68季度 64岁以下 68米15 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bisping｝等人，Lect。注释计算。科学。9807107-122（2016；Zbl 1478.68146） 全文： 内政部
Kurki-Soonio，R。 增量和面向方面建模中的动作系统。 （英语） Zbl 1448.68131号 分布计算。 16，第2-3号，201-217（2003）.MSC公司：64岁以下 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio}，分布式计算。16、编号2--3、201-217（2003；Zbl 1448.68131） 全文： 内政部
Yuh-Jzer Joung 分布式系统中的公平概念。一： 可实现性的特征。 （英语） Zbl 1003.68010号 Inf.计算。 166，第1期，第1-34页（2001年）.MSC公司：64岁以下 2010年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Joung}，Inf.计算。166，第1号，1-34（2001；Zbl 1003.68010） 全文： 内政部
乌韦·内斯特曼 什么是谨慎选择的“好”编码？ （英语） Zbl 1046.68625号 Inf.计算。 156，编号1-2，287-319（2000）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Nestmann}，Inf.计算。156，编号1--2，287--319（2000；Zbl 1046.68625） 全文： 内政部 链接
Joung，Y.-J。 两种去中心化算法，用于具有无限速度可变性的系统的强交互公平性。 （英语） Zbl 0944.68195号 西奥。计算。科学。 243，编号1-2，307-338（2000）.MSC公司：68周05 68号01 PDF格式BibTeX公司 XML格式引用 \textit{Y.J.Joung}，Theor（西奥）。计算。科学。243，编号1--2，307--338（2000；Zbl 0944.68195） 全文： 内政部
德文德拉·库马尔;亚伯拉罕·西尔伯沙茨 CSP广义输入输出结构算法的反例。 （英语） Zbl 0925.68085号 信息处理。莱特。 61，第6号，287-287（1997）.MSC公司：68甲15 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{D.Kumar}和\textit{A.Silberschatz}，Inf.过程。莱特。61，第6号，287--287（1997；Zbl 0925.68085） 全文： 内政部
Tsay，Yih-Kuen先生;拉吉夫·巴格罗迪亚。 某些不可能性会导致进程间同步。 （英语） Zbl 0776.68042号 分布计算。 6，第4期，221-231（1993）.MSC公司：2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}和\textit{R.L.Bagrodia}，分布计算。6，第4号，221--231（1993；Zbl 0776.68042） 全文： 内政部
戈文达拉扬，R。;Yu，S。;V.S.拉克希曼南。 尝试并行保护：执行通用保护命令的数据流方法。 （英语） Zbl 0784.68034号 国际J并行程序。 第4225-268号第21页（1992年）.MSC公司：68宽15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Govindarajan}等人，《国际并行程序》。21，第4号，225--268（1992；Zbl 0784.68034） 全文： 内政部
Kenneth J.Goldman。 高并发逻辑同步多播。 （英语） Zbl 0717.68036号 分布计算。 4，第4期，189-207（1991）.MSC公司：68宽15 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Goldman}，《分布式计算》。4，第4号，189--207（1991；Zbl 0717.68036） 全文： 内政部
亚历山德罗斯·比利斯 平衡结构中的特定操作锁定。 （英语） Zbl 0681.68026号 信息科学。 48，第1期，第27-51页（1989年）.MSC公司：68第05页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.Biliris}，信息科学。48，编号1，27-51（1989；兹bl 0681.68026） 全文： 内政部
L.Bougé。 关于在通信顺序过程网络中寻找领导者的对称算法的存在性。 （英语） Zbl 0621.68011号 学报信息。 25，第2期，179-201（1988）.MSC公司：68N25号 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bougé}，《信息学报》第25期，第2期，179--201（1988；Zbl 0621.68011） 全文： 内政部
Richard M.藤本。;冯华忠 CSP中广义替代结构的共享内存算法及证明。 （英语） Zbl 0641.68041号 国际J并行程序。 16，第3期，215-241（1987）.MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Fujimoto}和\textit{H.-c.Feng}，国际J并行程序。16，第3号，215--241（1987；Zbl 0641.68041） 全文： 内政部
Fauconnier，H。 在CPS中包含Sémantique异步和组件。 （法语） Zbl 0627.68023号 西奥。计算。科学。 54, 277-298 (1987).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{H.Fauconnier}，Theor。计算。科学。54、277--298（1987年；Zbl 0627.68023） 全文： 内政部
米歇尔·雷纳尔 防止n个逻辑时钟之间相互漂移的分布式算法。 （英语） Zbl 0619.68018号 信息处理。莱特。 24, 199-202 (1987).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Raynal}，Inf.过程。莱特。24、199--202（1987年；Zbl 0619.68018） 全文： 内政部
迪特尔·泽贝尔 CSP中通信公平性的转换。 （英语） Zbl 0619.68016号 信息处理。莱特。 25, 195-198 (1987).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zöbel}，信息处理。莱特。25、195--198（1987年；Zbl 0619.68016） 全文： 内政部