Robert M.Hierons。 达到和区分分布式系统的状态。 (英语) 兹比尔1209.68299 SIAM J.计算。 39,第8期,3480-3500(2010).MSC公司:65年第68季度 68号30 2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons},SIAM J.计算机。39,编号8,3480--3500(2010年;兹bl 1209.68299) 全文: 内政部 链接
塞尼泽格斯,热罗 有限度等式图的互模拟问题。 (英语) Zbl 1079.68066号 SIAM J.计算。 34,第5期,1025-1106(2005).MSC公司:68问题85 65年第68季度 68兰特 70年第68季度 05年3月 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sénizergues},SIAM J.Compute公司。34,第5号,1025--1106(2005;Zbl 1079.68066) 全文: 内政部
艾迪特·基达尔;罗杰·哈赞 WAN的虚拟同步组多播算法:形式化方法。 (英语) Zbl 1029.68024号 SIAM J.计算。 32,第1期,78-130(2002).MSC公司:64岁以下 68米15 68宽15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Keidar}和\textit{R.Khazan},SIAM J.计算机。32,编号1,78--130(2002;Zbl 1029.68024) 全文: 内政部
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 加密过程的证明技术。 (英语) Zbl 1017.68050号 SIAM J.计算。 31,第3期,947-986(2002).MSC公司:68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人,SIAM J.Compute。31,第3号,947--986(2002;Zbl 1017.68050) 全文: 内政部
恩斯特·梅尔(Ernst W.Mayr)。 一般Petri网可达性问题的一种算法。 (英语) 兹伯利0563.68057 SIAM J.计算。 13, 441-460 (1984).MSC公司:68问题85 03B25号 65年第68季度 2015年3月1日 03D40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Mayr},SIAM J.计算机。13、441--460(1984年;Zbl 0563.68057) 全文: 内政部