Jan A.Bergstra。 指令序列故障、错误和缺陷的限定条件:休眠、有效、检测、临时和永久。 (英语) Zbl 1513.68010号 科学。Ann.计算。科学。 31,编号1,1-50(2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。31,编号1,1-50(2021;Zbl 1513.68010) 全文: 内政部
Jan A.Bergstra。 求和项、求和、求和元组、求和以及求和的元算法。 (英语) Zbl 1513.68009号 科学。Ann.计算。科学。 30,第2期,167-203(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。30,第2号,167--203(2020;Zbl 1513.68009) 全文: 内政部 arXiv公司
Jan A.Bergstra。 带有正式更改理由的指令序列错误。 (英语) Zbl 1513.68008号 科学。Ann.计算。科学。 30,编号2,105-166(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。30,编号2,105--166(2020;Zbl 1513.68008) 全文: 内政部
莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·巴博萨。 归纳KAT以验证加权计算。 (英语) Zbl 1513.68011号 科学。Ann.计算。科学。 29,第2期,141-184(2019).MSC公司:68号30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人,《科学》。Ann.计算。科学。29,第2号,141--184(2019;Zbl 1513.68011) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 表示乘法算法的指令序列。 (英语) Zbl 1424.68034号 科学。Ann.计算。科学。 28,第1号,39-66(2018).MSC公司:68号30 2005年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。28,第1号,39--66(2018;Zbl 1424.68034) 全文: 内政部 arXiv公司
伯格斯特拉,J.A。;加利福尼亚州米德尔堡。 单程指令序列行为一致性公理。 (英语) Zbl 1424.68027号 科学。Ann.计算。科学。 27,第2期,111-135(2017).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。27,No.2,111--135(2017;Zbl 1424.68027) 全文: 内政部 arXiv公司
彼得·纳齐尔·莫萨德;Fränzle,马丁;薛、白 根据度量区间时序逻辑对延迟微分方程进行模型检查。 (英语) Zbl 1425.68265号 科学。Ann.计算。科学。 27,第1期,77-109(2017).MSC公司:60年第68季度 03B44号 34K05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Nazier Mosaad}等人,科学。Ann.计算。科学。27,第1号,77--109(2017;Zbl 1425.68265) 全文: 内政部
迭戈·马姆斯勒;马里奥·格雷舍尔 动态架构中的激活、连接和行为。 (英语) 兹比尔1424.68003 科学。Ann.计算。科学。 26,第2期,187-248(2016).MSC公司:2007年7月68日 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Marmsoler}和\textit{M.Gleirscher},科学。Ann.计算。科学。26,第2号,187--248(2016;Zbl 1424.68003) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 断言的单程指令序列的类Hoare逻辑。 (英语) Zbl 1424.68033号 科学。Ann.计算。科学。 26,第2期,125-156(2016).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。26,第2号,第125-156条(2016;Zbl 1424.68033) 全文: 内政部 arXiv公司
迪斯金,Zinovy;阿利亚克巴尔·萨菲连;汤姆·迈鲍姆;肖姆·本·达维德 使用克里普克结构和模态逻辑对产品线进行忠实建模。 (英语) Zbl 1424.68039号 科学。Ann.计算。科学。 26,第1号,69-122(2016).MSC公司:68号30 03B44号 03B45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Diskin}等人,科学。Ann.计算。科学。26,第1号,69-122(2016;Zbl 1424.68039) 全文: 内政部
古斯塔沃·贝塔特;胡安·坎波;卡洛斯·卢纳;阿古斯汀·罗曼诺 对Android基于权限的安全模型进行形式化分析。 (英语) Zbl 1424.68029号 科学。Ann.计算。科学。 26,第1号,27-68(2016).MSC公司:第68页第25页 60年第68季度 68吨15 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{G.Betarte}等人,《科学》。Ann.计算。科学。26,第1号,27--68(2016;Zbl 1424.68029) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于程序代数中布尔寄存器的指令集。 (英语) Zbl 1424.68032号 科学。Ann.计算。科学。 26,第1号,1-26(2016).MSC公司:68号30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。26,第1号,1-26(2016;Zbl 1424.68032) 全文: 内政部 arXiv公司
帖木儿乌马罗夫 验证和验证正式的以数据为中心的业务模型。 (英语) Zbl 1424.68044号 科学。Ann.计算。科学。 25,第2期,317-355(2015).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Umarov},科学。Ann.计算。科学。25,No.2,317--355(2015;Zbl 1424.68044) 全文: 内政部
罗斯·霍恩 乘性加性系统虚拟的一致性和复杂性。 (英语) Zbl 1424.03057号 科学。Ann.计算。科学。 25,第2期,245-316(2015).MSC公司:第03页 05年3月 20层03 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne},科学。Ann.计算。科学。25,第2号,245--316(2015;Zbl 1424.03057) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 概率线程代数。 (英语) Zbl 1424.68031号 科学。Ann.计算。科学。 25,第2期,211-243(2015).MSC公司:68号30 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。25,第2号,211--243(2015;Zbl 1424.68031) 全文: 内政部 arXiv公司
雷,锦江;邱宗燕 消息传递程序的基于可靠性保证的推理。 (英语) 兹比尔1424.68040 科学。Ann.计算。科学。 24,第2期,217-252(2014).MSC公司:68号30 03B70号 第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.雷}和\textit{Z.邱},科学。Ann.计算。科学。24,第2号,217--252(2014;Zbl 1424.68040) 全文: 内政部
伯格斯特拉(Jan Bergstra);科内利斯米德尔堡 基于指令序列的非均匀复杂性类。 (英语) Zbl 1424.68036号 科学。Ann.计算。科学。 24,第1期,47-89(2014).MSC公司:68号30 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{C.Middelburg},科学。Ann.计算。科学。24,第1号,47--89(2014;Zbl 1424.68036) 全文: 内政部 arXiv公司
马克·艾吉尔;比拉尔·坎索 复杂计算系统的逻辑:沿集成和抽象保存属性。 (英语) Zbl 1423.68271号 科学。Ann.计算。科学。 24,第1期,1-46页(2014年).MSC公司:60年第68季度 03B45 03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{B.Kanso},科学。Ann.计算。科学。24,第1号,1--46(2014;Zbl 1423.68271) 全文: 内政部
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 公平性定性路径模型的模块化验证。 (英语) Zbl 1424.92015年 科学。Ann.计算。科学。 23,第1期,75-117(2013).MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,科学。Ann.计算。科学。23,第1号,75--117(2013;Zbl 1424.92015) 全文: 内政部
阿德里安·巴索·布兰丁;Frank Delaplace公司 GUBS是合成生物学中基于行为的设计语言。 (英语) Zbl 1424.68090号 科学。Ann.计算。科学。 23,第1期,第1-38页(2013年).MSC公司:60年第68季度 68甲15 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Basso-Blandin}和\textit{F.Delaplace},科学。Ann.计算。科学。23,编号1,1-38(2013;兹bl 1424.68090) 全文: 内政部 arXiv公司
格里高·罗什乌 关于安全特性及其监测。 (英语) Zbl 1424.68043号 科学。Ann.计算。科学。 22,第2期,327-365(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},科学。Ann.计算。科学。22,第2号,327--365(2012;Zbl 1424.68043) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 间接跳转提高指令序列性能。 (英语) 兹比尔1424.68026 科学。Ann.计算。科学。 22,第2期,253-265(2012).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。22,No.2,253--265(2012;Zbl 1424.68026) 全文: 内政部
钟曼,宋世堂。;法哈德·阿尔巴 Reo的三十种语义形式概述。 (英语) Zbl 1424.68105号 科学。Ann.计算。科学。 22,第1期,201-251(2012).MSC公司:68问题85 68号30 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.T.Q.Jongmans}和\textit{F.Arbab},科学。Ann.计算。科学。22,编号1201-251(2012年;兹bl 1424.68105)
伯格斯特拉(Jan Bergstra);科内利斯米德尔堡 多变量指令序列的线程提取。 (英语) Zbl 1424.68035号 科学。Ann.计算。科学。 21,第2期,283-310(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{C.Middelburg},科学。Ann.计算。科学。21,第2号,283--310(2011;Zbl 1424.68035)
拉尔斯·哈特曼;尼尔·D·琼斯。;雅各布·格鲁·西蒙森;瑟伦·比杰雷加德·弗里斯特 生物分子计算编程:程序、自我解释和可视化。 (英语) Zbl 1424.68076号 科学。Ann.计算。科学。 21,第1期,73-106(2011).MSC公司:2005年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Hartmann}等人,科学。Ann.计算。科学。21,第1号,73--106(2011;Zbl 1424.68076)
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 交互式系统的模块化验证与生物学应用。 (英语) Zbl 1424.68091号 科学。Ann.计算。科学。 第1期第21页,第39-72页(2011年).MSC公司:60年第68季度 65年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,科学。Ann.计算。科学。21,第1号,39--72(2011;Zbl 1424.68091)
J.A.伯格斯特拉。;A.Ponse。 具有对合反自同构的指令序列半群。 (英语) Zbl 1424.68037号 科学。Ann.计算。科学。 19, 57-92 (2009).MSC公司:68号30 20M99型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},科学。Ann.计算。科学。19、57-92(2009年;Zbl 1424.68037)
马西耶·库特尼;Marta Pietkiewicz-Koutny 带局部Petri网的综合。 (英语) Zbl 1424.68107号 科学。Ann.计算。科学。 19, 1-23 (2009).MSC公司:68问题85 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{M.库特尼}和\textit{M.Pietkiewicz-Koutny},科学。Ann.计算。科学。19-1-23(2009年;兹bl 1424.68107)
雷维茨基,I.M。;J.W.桑德斯。 关于关系程序计算的综述。 (英语) Zbl 1424.68042号 科学。Ann.计算。科学。 18, 129-171 (2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Rewitzky}和\textit{J.W.Sanders},科学。Ann.计算。科学。18、129--171(2008年;Zbl 1424.68042)
马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;奥斯卡·尼尔斯特拉斯 演化对象的演算。 (英语) Zbl 1424.68038号 科学。Ann.计算。科学。 18, 63-98 (2008).MSC公司:68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人,科学。Ann.计算。科学。18、63-98(2008年;Zbl 1424.68038)
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 使用分子动力学编程解释器。 (英语) Zbl 1349.68049号 科学。Ann.计算。科学。 17, 47-81 (2007).MSC公司:68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。17、47——81(2007年;Zbl 1349.68049)
伯格斯特拉,J.A。;加利福尼亚州米德尔堡。 带有间接跳转的指令序列。 (英语) Zbl 1349.68048号 科学。Ann.计算。科学。 17, 19-46 (2007).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。17,19-46(2007年;兹bl 1349.68048)