奥尔德罗格(Ernst-Rüdiger Olderog);安德烈亚斯·波德尔斯基 动态控制的显式公平调度。 (英语) Zbl 1274.68035号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿593096-117(2010)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{A.Podelski},莱克特。注释计算。科学。5930、96-117(2010年;Zbl 1274.68035) 全文: 内政部
迈克尔·费希尔;鲍里斯·科涅夫;阿列克谢·利西萨 容错协议的时间验证。 (英语) Zbl 1234.68255号 Michael Butler(编辑)等人,容错方法、模型和工具。柏林:施普林格出版社(ISBN 978-3-642-00866-5/pbk)。计算机科学课堂讲稿5454,44-56(2009)。MSC公司:60年第68季度 03B44号 68米15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher}等人,Lect。注释计算。科学。5454、44-56(2009年;Zbl 1234.68255) 全文: 内政部
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 使用无限线程创建验证布尔程序。 (英语) Zbl 1143.68043号 西奥。计算。科学。 388,编号1-3227-242(2007).MSC公司:60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,Theor。计算。科学。388,编号1--3,227--242(2007;Zbl 1143.68043) 全文: 内政部