佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 (英语) Zbl 1425.68285号 正式Asp。计算。 31,第3号,375-409(2019).MSC公司:68问题85 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonino}等人,《正式Asp》。计算。31,第3号,375--409(2019;Zbl 1425.68285) 全文: 内政部
亚历山大·布尔加科夫;托马斯·吉布森·罗宾逊;罗斯科,A.W。 计算最大弱互模拟和其他互模拟。 (英语) Zbl 1355.68190号 正式Asp。计算。 28,第3期,381-407(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Boulgakov}等人,正式Asp。计算。28,第3号,381--407(2016;Zbl 1355.68190) 全文: 内政部
马塞尔·奥利维拉。;安东尼诺,P。;R.拉莫斯。;A.桑帕约。;莫塔,A。;A.W.罗斯科。 使用组件元数据和模式严格开发基于组件的系统。 (英语) Zbl 1348.68167号 正式Asp。计算。 28,第6期,937-1004(2016).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Oliveira}等人,正式Asp。计算。28,编号61937-1004(2016;兹bl 1348.68167) 全文: 内政部 链接
A.W.罗斯科。;黄、健 正在检查定时CSP中的不干扰。 (英语) Zbl 1259.68132号 正式Asp。计算。 25,第1期,第3-35页(2013年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}和\textit{J.Huang},正式Asp。计算。25,第1号,第3--35号(2013;Zbl 1259.68132) 全文: 内政部
J.N.里德。;A.W.罗斯科。;辛克莱,J.E。 响应能力和稳定复苏。 (英语) Zbl 1125.68077号 正式Asp。计算。 19,第3期,303-319(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Reed}等人,正式Asp。计算。19,第3号,303--319(2007;Zbl 1125.68077) 全文: 内政部
A.W.罗斯科。 关于CSP细化的表达能力。 (英语) Zbl 1101.68703号 正式Asp。计算。 17,第2期,93-112(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe},正式Asp。计算。17,第2号,93-112(2005;Zbl 1101.68703) 全文: 内政部
J.N.里德。;辛克莱,J.E。;A.W.罗斯科。 互操作组件的响应性。 (英语) Zbl 1061.68107号 正式Asp。计算。 16,第4期,394-411(2004).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Reed}等人,正式Asp。计算。16,第4号,394--411(2004;Zbl 1061.68107) 全文: 内政部 链接