Dilsun K·卡纳尔。;南希·林奇;罗伯特·塞加拉;Vaandrager,Frits公司 定时I/O自动机理论。第2版。 (英语) Zbl 1226.68004号 分布式计算理论综合讲座5.加利福尼亚州圣拉斐尔:摩根和克莱普尔出版社(ISBN 978-1-60845-002-2/pbk;978-1-69845-003-9/ebook)。xiv,123页。(2011). 审核人:克里斯特尔·拜尔(德累斯顿) MSC公司:68-02 65年第68季度 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Kaynar}等人,《定时I/O自动机理论》。第二版,加利福尼亚州圣拉斐尔:Morgan&Claypool出版社(2011;Zbl 1226.68004) 全文: 内政部
Dilsun K·卡纳尔。;南希·林奇;罗伯特·塞加拉;Vaandrager,Frits公司 定时I/O自动机理论。 (英语) Zbl 1250.68005号 计算机科学综合讲座1.加利福尼亚州圣拉斐尔:摩根和克莱普尔出版社(ISBN 1-59829-010-X/pbk;1-59829-011-8/电子书)。xi,第101页。(2010). 审核人:马丁·兰格(卡塞尔) MSC公司:68-01年 68-02 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Kaynar}等人,《定时I/O自动机理论》。加利福尼亚州圣拉斐尔:Morgan&Claypool出版社(2010;Zbl 1250.68005) 全文: 内政部
萨扬·密特拉;南希·林奇 证明概率I/O自动机的近似实现。 (英语) Zbl 1277.68111号 Cook,B.(ed.)等人,第四届自动推理决策程序语用学研讨会(PDPAR 2006)和第一届概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录,西雅图,华盛顿州,美国,2006年8月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第8期,71-93(2007)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitra}和\textit{N.Lynch},电子。注释Theor。计算。科学。174,第8号,71--93(2007;Zbl 1277.68111) 全文: 内政部
林洪平;迪尔森·卡纳尔;南希·林奇;萨扬·密特拉 翻译用于PVS中定理证明的定时I/O自动机规范。 (英语) Zbl 1175.68259号 Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829,17-31(2005)。MSC公司:60年第68季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Lim}等人,Lect。注释计算。科学。3829,17-31(2005;Zbl 1175.68259) 全文: 内政部
迪尔森·卡纳尔;南希·林奇 对定时I/O自动机进行分解验证。 (英语) Zbl 1109.68506号 Lakhnech,Yassine(ed.)等人,定时和容错系统的形式化技术、建模和分析。关于定时系统的正式建模和分析的联合国际会议,FORMATS 2004,以及实时和容错系统的正式技术,FTRTFT 2004,法国格勒诺布尔,2004年9月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253,84-101(2004)。MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Kaynar}和\textit{N.Lynch},莱克特。注释计算。科学。3253、84-101(2004年;Zbl 1109.68506) 全文: 内政部
安娜,波哥西亚特;罗伯特·塞加拉;南希·林奇 Aspnes和Herlihy随机一致性算法的验证:案例研究。 (英语) Zbl 1448.68156号 分布计算。 13,第3期,155-186(2000).MSC公司:64岁以下 65年第68季度 60年第68季度 第68季度87 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Pogosyants}等人,《分布计算》。13,第3号,155--186(2000;Zbl 1448.68156) 全文: 内政部
R·D·普里斯科。;灯具,B。;北卡罗来纳州林奇。 重温PAXOS算法。 (英语) Zbl 0944.68102号 西奥。计算。科学。 243,编号1-2,35-91(2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Prisco}等人,Theor。计算。科学。243,编号1--2,35-91(2000;Zbl 0944.68102) 全文: 内政部
阿兰·费科特;南希·林奇;伊莎·曼苏尔;约翰·斯皮内利 在崩溃时无法实现可靠的通信。 (英语) Zbl 0795.68016号 J.协会计算。马赫。 40,第5期,1087-1107(1993).MSC公司:68米15 60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{A.Fekete}等人,J.协会计算。机器。40,第5号,1087--1107(1993;Zbl 0795.68016) 全文: 内政部
南希·林奇。;尤金·斯塔克。 输入/输出自动机卡恩原理的证明。 (英语) 兹伯利0679.68119 Inf.计算。 82,第1号,81-92(1989).MSC公司:65年第68季度 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Lynch}和\textit{E.W.Stark},Inf.Compute。82,第1号,81--92(1989;Zbl 0679.68119) 全文: 内政部