安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 概率可靠性保证演算。 (英语) Zbl 1356.68156号 西奥。计算。科学。 655,B部分,120-134(2016).MSC公司:68问题85 68号30 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,Theor。计算。科学。655,B部分,120--134(2016;Zbl 1356.68156) 全文: 内政部 arXiv公司
安娜贝拉·麦克维尔;拉里萨·梅尼基;摩根,卡罗尔 带迭代的Hidden-Markov程序代数。 (英语) Zbl 1362.68052号 数学。结构。计算。科学。 25,第2期,320-360(2015).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,《数学》。结构。计算。科学。25,第2号,320-360(2015;Zbl 1362.68052) 全文: 内政部
Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;C.C.摩根。;A.斯隆。;苏萨托,E。 无干扰安全的抽象:概率与可能性。 (英语) Zbl 1323.68212号 正式Asp。计算。 26,第1期,169-194(2014).MSC公司:68号30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,正式Asp。计算。26,第1号,169--194(2014;Zbl 1323.68212) 全文: 内政部
彼得·霍夫纳;安娜贝拉·麦克维尔 跳房子–一步一步到达目标。 (英语) Zbl 1371.68210号 J.日志。阿尔盖布。方法计划。 83,第2期,212-224(2014).MSC公司:68兰特 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{A.McIver},J.Log。阿尔盖布。方法计划。83,No.2,212--224(2014;Zbl 1371.68210) 全文: 内政部
A.K.McIver。;摩根,C。 基于代理的安全协议中的组合细化。 (英语) Zbl 1245.68065号 正式Asp。计算。 23,第6号,711-737(2011).MSC公司:68号30 94A60型 68个M12 03B70号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan},正式Asp。计算。23,第6号,711--737(2011;Zbl 1245.68065) 全文: 内政部
A.K.McIver。;冈萨利亚,C。;科恩,E。;C.C.摩根。 使用概率Kleene代数pKA进行协议验证。 (英语) Zbl 1148.68034号 J.日志。阿尔盖布。程序。 76,第1号,90-111(2008).MSC公司:60年第68季度 68个M12 68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人,J.Log。阿尔盖布。程序。76,编号1,90-111(2008;兹bl 1148.68034) 全文: 内政部
A.K.McIver。 概率分布式算法中的定量程序逻辑和预期时间界限。 (英语) Zbl 1050.68024号 西奥。计算。科学。 282,第1期,191-219(2002).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \发短信{A.K.McIver},Theor。计算。科学。282,第1号,191--219(2002;Zbl 1050.68024) 全文: 内政部
A.K.McIver。;C.摩根。 概率恶魔程序的部分正确性。 (英语) Zbl 0992.68137号 西奥。计算。科学。 266,编号1-2,513-541(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan},Theor。计算。科学。266,编号1--2,513--541(2001;Zbl 0992.68137) 全文: 内政部