伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔 有状态部分顺序缩减的实用方法。 (英语) 兹伯利07728618 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13881, 129-154 (2023).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Cirisci}等人,Lect。注释计算。科学。13881、129--154(2023;Zbl 07728618) 全文: 内政部 arXiv公司
苏珊·斯蒂芬尼;维·肯登 物理计算中的表示实体。 (英语) Zbl 07735485号 自然计算。 20,第2期,233-242(2021).MSC公司:2009年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Stepney}和\textit{V.Kendon},Nat.Comput。20,编号2,233--242(2021;Zbl 07735485) 全文: 内政部
Khoroshilov,A.V.公司。 验证单个跟踪语义中多级模型的符合性。 (英语) Zbl 1485.68152号 程序。计算。柔和。 47,编号7,515-521(2021).MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Khoroshilov},程序。计算。柔和。47,编号7,515--521(2021;Zbl 1485.68152) 全文: 内政部
格里戈里·费迪尤科维奇;吉登·恩斯特 递归证明中的桥接数组和ADT。 (英语) Zbl 1474.68048号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 24-42 (2021).MSC公司:68号30 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Fedyukovich}和\textit{G.Ernst},莱克特。注释计算。科学。12652,24-42(2021;Zbl 1474.68048) 全文: 内政部
努诺州阿马利奥 健全和放松的行为遗传。 (英语) Zbl 1486.68037号 Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:施普林格。新兴复杂性。计算。35, 255-298 (2020).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Amálio},紧急情况复杂。计算。35255-298(2020;Zbl 1486.68037) 全文: 内政部 链接
埃尔克·博伊滕;约翰·德里克 理解、解释和衍生细化。 (英语) Zbl 1486.68008号 Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:施普林格。新兴复杂性。计算。35, 195-206 (2020).MSC公司:68-03 01A70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick},Emerg.Complex公司。计算。35、195--206(2020;Zbl 1486.68008) 全文: 内政部 链接
布里杰什·多戈尔;Robert M.Hierons。 静态一致性及其变化的可决定性和复杂性。 (英语) Zbl 1380.68294号 Inf.计算。 257, 1-21 (2017).MSC公司:68问题85 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{R.M.Hierons},Inf.Comput。257,1--21(2017;Zbl 1380.68294) 全文: 内政部
锡耶克,康拉德;PawełT,Wojciechowski。 通过早期发布证明事务性内存的不透明性。 (英语) Zbl 1328.68034号 已找到。计算。Decis公司。科学。 40,第4期,317-335(2015).MSC公司:64岁以下 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Siek}和\textit{P.T.Wojciechowski},已找到。计算。Decis公司。科学。40,第4号,317--335(2015;Zbl 1328.68034) 全文: 内政部
迈克尔·班克斯。;杰里米·雅各布。 在正式方法中集成机密性和功能性。 (英语) Zbl 1342.68191号 正式Asp。计算。 26,第5期,963-992(2014).MSC公司:第68季度55 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Banks}和\textit{J.L.Jacob},正式Asp。计算。26,编号:5963-992(2014;兹bl 1342.68191) 全文: 内政部
罗伯特·J·科尔文。 基于类层次结构的面向对象概念的操作语义。 (英语) Zbl 1342.68057号 正式Asp。计算。 26,第3期,491-535(2014).MSC公司:68甲19 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin},正式Asp。计算。26,第3号,491--535(2014;Zbl 1342.68057) 全文: 内政部
格哈德·谢尔霍恩;约翰·德里克;海克,韦尔海姆 并发数据结构线性化能力的完善证明技术。 (英语) Zbl 1354.68066号 ACM事务处理。计算。日志。 第15号第4条第31条第37页(2014年).MSC公司:68第05页 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人,《美国医学杂志》。计算。日志。第15条第4款第31条第37页(2014年;Zbl 1354.68066) 全文: 内政部 链接
让·雷蒙德·阿布里亚尔 计算的集合理论模型。 (英语) Zbl 1390.68297号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,1-22(2013)。MSC公司:2005年第68季度 03电子75 68号30 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-R.Abrial},莱克特。注释计算。科学。8051,1-22(2013;Zbl 1390.68297) 全文: 内政部
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) 兹比尔1220.68069 科学。计算。程序。 76,第9期,739-755(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。76,第9号,739--755(2011;Zbl 1220.68069) 全文: 内政部 链接
伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;Yang,宏石 并发对象的抽象。 (英语) Zbl 1209.68156号 西奥。计算。科学。 411,编号51-52,4379-4398(2010).MSC公司:68第05页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Filipović}等人,Theor。计算。科学。411、编号51-52、4379-4398(2010;Zbl 1209.68156) 全文: 内政部
埃尔克·博伊滕;约翰·德里克 阻塞范式中关系模拟的不完整性。 (英语) Zbl 1209.68306号 科学。计算。程序。 75,第12号,1262-1269(2010).MSC公司:第68季度55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick},科学。计算。程序。75,第12号,1262--1269(2010;Zbl 1209.68306) 全文: 内政部
詹乃军;米拉·卡德巴姆少校 关于分层发展的反应系统。 (英语) Zbl 1197.93080号 Inf.计算。 208,第9期,997-1019(2010).MSC公司:93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum},Inf.Compute。208,第9号,997--1019(2010;Zbl 1197.93080) 全文: 内政部
史蒂夫·里夫斯;大卫·斯特雷德 有防护的操作、改进和模拟。 (英语) Zbl 1342.68097号 Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259177-191(2009)。MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Reeves}和\textit{D.Streader},电子。注释Theor。计算。科学。259177--191(2009年;Zbl 1342.68097) 全文: 内政部
史蒂夫·邓恩 wlp和CSP。 (英语) Zbl 1342.68229号 Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259,35-45(2009)。MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne},电子。注释Theor。计算。科学。259、35-45(2009年;Zbl 1342.68229) 全文: 内政部
约翰·德里克;埃尔克·博伊滕 关系并发求精:自动机。 (英语) Zbl 1342.68226号 Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259,21-34(2009)。MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},电子。注释Theor。计算。科学。259、21-34(2009年;Zbl 1342.68226) 全文: 内政部
亚历克斯·A·阿拉文。;维姆·赫塞林克。 基于队列的互斥算法。 (英语) Zbl 1172.68041号 Acta信息。 46,第1期,73-86(2009).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Aravind}和\textit{W.H.Hesselink},《学报》第46期,第1期,第73-86页(2009年;Zbl 1172.68041) 全文: 内政部 链接
约翰·德里克;埃尔克·博伊滕 更多关系并发优化:跟踪和部分关系。 (英语) 兹比尔1283.68239 Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214255-276(2008)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},电子。注释Theor。计算。科学。214255-276(2008年;Zbl 1283.68239) 全文: 内政部
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) Zbl 1283.68207号 Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214,3-23(2008)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},电子。注释Theor。计算。科学。214、3--23(2008年;Zbl 1283.68207) 全文: 内政部
维姆·赫塞林克。 模拟规范的通用扩展。 (英语) Zbl 1133.68044号 Inf.计算。 206,第1号,108-128(2008).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},信息计算。206,第1号,第108-128条(2008;Zbl 1133.68044) 全文: 内政部 链接
维姆·赫塞林克。 重温原子性标准。 (英语) Zbl 1120.68073号 Acta信息。 44,第2期,123-151(2007).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《学报》第44期,第2期,第123--151页(2007年;Zbl 1120.68073) 全文: 内政部
戴维·诺曼(David A.Naumann)。 观察纯度和封装。 (英语) Zbl 1116.68052号 西奥。计算。科学。 376,第3号,205-224(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。376,第3号,205--224(2007;Zbl 1116.68052) 全文: 内政部
Yang,宏石 关系分离逻辑。 (英语) Zbl 1111.68078号 西奥。计算。科学。 375,编号1-3,308-334(2007).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{H.杨}。计算。科学。375,编号1--3,308--334(2007;Zbl 1111.68078) 全文: 内政部
维姆·赫塞林克。 延迟缓存算法的细化验证。 (英语) Zbl 1100.68126号 Acta信息。 43,第3期,195-222(2006).MSC公司:68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《学报Inf.43》,第3期,195--222(2006;Zbl 1100.68126) 全文: 内政部
维姆·赫塞林克。 拆分正向模拟以应对活跃度。 (英语) Zbl 1089.68064号 Acta信息。 42,编号8-9,583-602(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《学报》第42期,第8--9、583--602号(2006年;Zbl 1089.68064) 全文: 内政部
格哈德·谢尔霍恩 ASM精化和数据精化中正向模拟的推广:比较。 (英语) Zbl 1080.68058号 西奥。计算。科学。 336,编号2-3,403-435(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},Theor(西奥)。计算。科学。336,编号2--3,403--435(2005;Zbl 1080.68058) 全文: 内政部
美国雷迪。 类Algol语言中的对象和类。 (英语) Zbl 1009.68021号 Inf.计算。 172,第1期,63-97(2002).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{美国红},Inf.Comput。172,编号1,63--97(2002;Zbl 1009.68021) 全文: 内政部 链接
C.A.R.霍尔。;何继峰;A.桑帕约。 编译器设计的范式方法。 (英语) Zbl 0790.68023号 Acta信息。 30,第8号,701-739(1993). 审核人:C.A.R.Hoare(牛津) MSC公司:68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人,《信息学报》第30期,第8期,第701--739页(1993年;Zbl 0790.68023) 全文: 内政部
P.H.B.加德纳。;卡罗尔·摩根 数据优化的单一完整规则。 (英语) 兹比尔0774.68081 正式Asp。计算。 5,第4期,367-382(1993).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}和\textit{C.Morgan},正式Asp。计算。5,第4号,367--382(1993;Zbl 0774.68081) 全文: 内政部
C.A.R.霍尔。;何继峰;J.W.桑德斯。 数据细化中的预先指定。 (英语) Zbl 0624.68027号 信息处理。莱特。 25, 71-76 (1987).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人,《Inf.过程》。莱特。25、71——76(1987年;Zbl 0624.68027) 全文: 内政部