卡梅·阿勒瓦雷斯;Ioannis Chatzigannakis公司;阿马利亚·杜赫;约阿金·加巴罗;米歇尔·奥通;玛丽亚·塞尔纳;保罗·斯皮拉基斯。 微小人工物网络的计算模型:一项调查。 (英语) 兹比尔1298.68039 计算。科学。版次。 第5期,第1期,第7-25页(2011年).MSC公司:68M10个 64岁以下 68T42型 68个M12 2005年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.ali lvarez}等人,计算。科学。第5版,第1号,第7--25号(2011年;Zbl 1298.68039) 全文: 内政部
X.陈军(Jun Chen)。;R·尼古拉。 树状结构上迹和修饰迹等价的代数刻划。 (英语) Zbl 0974.68093号 西奥。计算。科学。 254,第1-2期,337-361(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Jun Chen}和\textit{R.Nicola},Theor。计算。科学。254,编号1--2,337--361(2001;Zbl 0974.68093) 全文: 内政部
苏珊,年纪大点 通信过程具有很强的公平性和完全抽象性。 (英语) Zbl 1003.68081号 Inf.计算。 163,第2期,471-509(2000).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.旧},Inf.计算。163,第2号,471--509(2000;Zbl 1003.68081) 全文: 内政部 链接
洛科·德尼古拉;罗伯特·塞加拉 输入/输出自动机的过程代数视图。 (英语) Zbl 0874.68209号 西奥。计算。科学。 138,No.2,391-423(1995).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{R.Segala},Theor。计算。科学。138,第2号,391--423(1995;Zbl 0874.68209) 全文: 内政部
大卫·L·迪尔。;史蒂文·诺威克(Steven M.Nowick)。;罗伯特·F·斯普鲁尔。 自定时队列的规范和自动验证。 (英语) Zbl 0875.68628号 形式方法系统。设计。 第1期,第29-60页(1992年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Dill}等人,《形式方法系统》。设计。1,第1号,29--60(1992;Zbl 0875.68628) 全文: 内政部
帕里托什·K·潘迪亚。;约瑟夫·马塔伊 P-A逻辑—分布式程序的组合证明系统。 (英语) Zbl 0723.68075号 分布计算。 5,第1期,37-54(1991).MSC公司:60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{M.Joseph},分布式计算。5,编号1,37--54(1991;Zbl 0723.68075) 全文: 内政部
莱因·福尼尔;格雷戈·冯·博克曼 DCP模型中的等效性。 (英语) Zbl 0737.68031号 西奥。计算。科学。 87,第1号,97-114(1991). 审核人:格里戈拉斯 MSC公司:2010年第68季度 06年06月06日 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Fournier}和\textit{G.von Bochmann},Theor。计算。科学。87,第1号,97--114(1991;Zbl 0737.68031) 全文: 内政部
奥尔德罗格,恩斯特·吕迪格 并发进程的正确性。 (英语) Zbl 0745.68045号 西奥。计算。科学。 80,第2期,263-288(1991).MSC公司:2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。80,第2号,263--288(1991;Zbl 0745.68045) 全文: 内政部
E.-R.奥尔德罗。;你好,托尼 用于通信过程的面向规范的语义。 (英语) Zbl 0569.68019号 学报信息。 23, 9-66 (1986).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare},《学报年鉴》23,9--66(1986;Zbl 0569.68019) 全文: 内政部
背面,R.J.R。;曼尼拉,H。 关于跟踪语义对通信过程的模块化证明的适用性。 (英语) Zbl 0567.68018号 西奥。计算。科学。 39, 47-68 (1985).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{H.Mannila},Theor。计算。科学。39、47-68(1985年;Zbl 0567.68018) 全文: 内政部
莱泽克·霍伦德斯基 关于指定和验证并发进程的注释。 (英语) Zbl 0559.68033号 信息处理。莱特。 18, 77-85 (1984).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{L.Holenderski},Inf.过程。莱特。18、77——85(1984;Zbl 0559.68033) 全文: 内政部
北弗朗西兹。;D.莱曼。;A.普努利。 分布式编程语言的线性历史语义。 (英语) Zbl 0543.68019号 西奥。计算。科学。 32, 25-46 (1984).MSC公司:第68页第25页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,Theor。计算。科学。32,25-46(1984年;兹bl 0543.68019) 全文: 内政部
R·德·尼古拉。;轩尼诗,M.C.B。 测试过程的等效性。 (英语) Zbl 0985.68518号 西奥。计算。科学。 34,编号1-2,83-133(1984).MSC公司:第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{M.C.B.Hennessy},Theor。计算。科学。34、83--133(1984年;Zbl 0985.68518) 全文: 内政部
亨纳,E.C.R。;C.A.R.霍尔。 一个更完整的通信过程模型。 (英语) Zbl 0513.68020号 西奥。计算。科学。 26, 105-120 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner}和\textit{C.A.R.Hoare},Theor。计算。科学。26105-120(1983年;Zbl 0513.68020) 全文: 内政部