乔纳森·鲍文(Jonathan P.Bowen)。;朱慧彪 何继峰(Jifeng He)在牛津大学及以后:一种欣赏。 (英语) Zbl 07810649号 Bowen,Jonathan P.(编辑)等人,《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆:施普林格。莱克特。注释计算。科学。14080, 3-18 (2023).MSC公司:68-03 01A70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}和\textit{H.Zhu},Lect。注释计算。科学。14080,3-18(2023;Zbl 07810649) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 (英语) Zbl 07531445号 J.日志。代数。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。代数。方法计划。127,文章ID 100778,32页(2022;Zbl 07531445) 全文: 内政部 arXiv公司
肖莉莉;朱慧彪 基于UTP的MCA ARMv8体系结构的跟踪语义和代数法则。 (英语) Zbl 1498.68018号 秦胜超(主编)等,可靠软件工程。理论、工具和应用。第七届国际研讨会,SETTA 2021,中国北京,2021年11月25-27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13071, 81-101 (2021).MSC公司:2007年7月68日 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Xiao}和\textit{H.Zhu},Lect。注释计算。科学。13071,81-101(2021年;兹bl 1498.68018) 全文: 内政部
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。代数。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。代数。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 (英语) Zbl 1511.68189号 正式Asp。计算。 33,第2期,207-249(2021).MSC公司:68问题85 68号30 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。33,第2号,207--249(2021;Zbl 1511.68189) 全文: 内政部
西蒙·福斯特;詹姆斯·巴克斯特 使用透镜对集合和局部变量进行自动代数推理。 (英语) Zbl 07578337号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12062, 100-116 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{J.Baxter},莱克特。注释计算。科学。12062,100-116(2020;Zbl 07578337) 全文: 内政部 链接
西蒙·福斯特;安娜·卡瓦尔坎蒂;塞缪尔·卡纳姆;吉姆·伍德科克;泽达,弗兰克 统一反应设计合同理论。 (英语) 兹比尔1436.68195 西奥。计算。科学。 802,105-140(2020).MSC公司:60年第68季度 第68季度55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Theor。计算。科学。802105-140(2020年;Zbl 1436.68195) 全文: 内政部 arXiv公司 链接
托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山大·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 带观察的克莱恩代数。 (英语) 兹比尔07649949 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第41条,第16页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,LIPIcs——莱布尼茨国际程序。通知。140,第41条,第16页(2019年;Zbl 07649949) 全文: 内政部 arXiv公司
谢万玲;香,双清;朱慧彪 rTiMo的UTP方法。 (英语) Zbl 1425.68304号 正式Asp。计算。 30,第6号,713-738(2018).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。30,编号6,713--738(2018;Zbl 1425.68304) 全文: 内政部
史玲;赵永新;刘,杨;孙骏;董金松;秦胜超 一种UTP语义,用于与共享变量通信进程及其在PVS中的形式编码。 (英语) Zbl 1398.68373号 正式Asp。计算。 30,编号3-4,351-380(2018).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Shi}等人,《形式语法》。计算。30、编号3--4、351--380(2018;Zbl 1398.68373) 全文: 内政部 链接
谢万玲;香,双清 rTiMo的UTP语义。 (英语) Zbl 1483.68238号 Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10134, 176-196 (2017).MSC公司:68问题85 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}和\textit{S.Xiang},Lect。注释计算。科学。10134,176--196(2017;Zbl 1483.68238) 全文: 内政部
何继峰 链接编程理论的新路线图。 (英语) Zbl 1483.68081号 Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10134, 26-43 (2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.吉峰},Lect。注释计算。科学。10134,26-43(2017;Zbl 1483.68081) 全文: 内政部
西蒙·福斯特;泽达,弗兰克;吉姆·伍德科克 用透镜统一异构状态空间。 (英语) Zbl 1482.68089号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 295-314 (2016).MSC公司:68号30 68问题65 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Lect。注释计算。科学。9965295-314(2016;Zbl 1482.68089) 全文: 内政部 链接
伊恩·海斯。 广义相对保证并发:代数基础。 (英语) Zbl 1348.68035号 正式Asp。计算。 28,第6期,1057-1078(2016).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes},正式Asp。计算。28,第6号,1057--1078(2016;Zbl 1348.68035) 全文: 内政部 arXiv公司
你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 并发Kleene代数的发展。 (英语) Zbl 1344.68149号 J.日志。代数。方法计划。 85,第4期,617-636(2016).MSC公司:70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。代数。方法计划。85,第4号,617--636(2016;Zbl 1344.68149) 全文: 内政部
费卢兹·切尔 复合图的非确定性语义。 (英语) Zbl 1338.18021号 离散连续。戴恩。系统。,序列号。S公司 8,第6期,1357-1371(2015). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:18立方厘米 18立方厘米50 第68季度55 68问题65 03B70号 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{F.Tchier},离散Contin。戴恩。系统。,序列号。S 8,No.6,1357--1371(2015;Zbl 1338.18021) 全文: 内政部
朱,H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 (英语) Zbl 1347.68039号 正式Asp。计算。 27,第1期,133-166(2015).MSC公司:68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,正式Asp。计算。27,第1号,133--166(2015;Zbl 1347.68039) 全文: 内政部 链接
Jan A.Bergstra。;阿尔班·蓬塞 命题代数的评估树。 (英语) Zbl 1444.03110号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 44-61 (2015).MSC公司:03B70号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},莱克特。注释计算。科学。9360、44-61(2015年;Zbl 1444.03110) 全文: 内政部 arXiv公司
O'Hearn,Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 并发分离逻辑与并发Kleene代数的关系。 (英语) Zbl 1330.03072号 J.日志。代数。方法计划。 84,第3期,285-302(2015).MSC公司:03B70号 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}等人,J.Log。代数。方法计划。84,第3号,285--302(2015;Zbl 1330.03072) 全文: 内政部
沃德,马丁;侯赛因·泽丹 使用FermaT进行算法推导,证明是正确的。 (英语) Zbl 1342.68213号 正式Asp。计算。 26,第5期,993-1031(2014).MSC公司:60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ward}和\textit{H.Zedan},正式Asp。计算。26,第5号,993--1031(2014;Zbl 1342.68213) 全文: 内政部 链接
范·斯塔登(Stephan van Staden);你好,托尼 代数统一了运算计算。 (英语) 兹比尔1452.68056 Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 88-104 (2013).MSC公司:68号30 68甲19 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.van Staden}和\textit{T.Hoare},莱克特。注释计算。科学。7681、88--104(2013;Zbl 1452.68056) 全文: 内政部
乔瓦尼·卢塞罗;戴维·诺曼;奥古斯托·桑帕约 编程法则供参考。 (英语) 兹比尔1426.68057 Shan,Chung-chieh(编辑),《编程语言和系统》。第十一届亚洲研讨会,2013年APLAS,澳大利亚维多利亚州墨尔本,2013年12月9-11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8301, 124-139 (2013).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lucero}等人,Lect。注释计算。科学。8301124-139(2013;Zbl 1426.68057) 全文: 内政部
朱龙飞;赵永新;朱慧彪;徐启文 面向网络物理系统的建模语言。 (英语) Zbl 1390.68167号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。《计算机科学讲义》8051、394-411(2013)。MSC公司:68甲15 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhu}等人,Lect。注释计算。科学。8051、394--411(2013;Zbl 1390.68167) 全文: 内政部
你好,托尼 编程法则的通用模型。 (英语) Zbl 1390.68182号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,213-226(2013)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔},莱克特。注释计算。科学。8051、213--226(2013;Zbl 1390.68182) 全文: 内政部
陈一峰 超级计算的代数程序语义。 (英语) Zbl 1390.68171号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051118-135(2013)。MSC公司:68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。8051、118--135(2013;Zbl 1390.68171) 全文: 内政部
你好,托尼 统一并发编程的语义。 (英语) Zbl 1264.68042号 Coecke,Bob(编辑)等人,《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-38163-8/pbk)。计算机科学课堂讲稿7860139-149(2013)。MSC公司:68甲15 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔},莱克特。注释计算。科学。7860、139--149(2013年;Zbl 1264.68042) 全文: 内政部
陈一峰 统一编程理论中的语义继承。 (英语) Zbl 1259.68122号 正式Asp。计算。 25,第1期,89-106(2013).MSC公司:60年第68季度 第68季度55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen},正式Asp。计算。25,第1号,89-106(2013年;兹bl 1259.68122) 全文: 内政部
你好,托尼;范·斯塔登(Stephan van Staden) 赞美代数。 (英语) Zbl 1259.68030号 正式Asp。计算。 24,编号4-6,423-431(2012).MSC公司:68甲19 03B70号 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden},正式Asp。计算。24,编号4--6423--431(2012;Zbl 1259.68030) 全文: 内政部
Höfner,P。;罗布·范格拉贝克;伊恩·海耶斯 前言。 (英语) Zbl 1259.01011号 正式Asp。计算。 24,No.4-6,417-422(2012).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人,正式Asp。计算。24、编号4--6、417--422(2012;Zbl 1259.01011) 全文: 内政部
保罗·博尔巴;利奥波德·特谢拉;罗希特·盖伊 软件产品线细化理论。 (英语) Zbl 1254.68072号 西奥。计算。科学。 455, 2-30 (2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Borba}等人,Theor。计算。科学。455,2--30(2012;Zbl 1254.68072) 全文: 内政部
你好,托尼;范·斯塔登(Stephan van Staden) 编程法则统一了过程计算。 (英语) 兹比尔1358.68064 Jeremy Gibbons等人,《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31112-3/pbk)。计算机科学课堂讲稿7342,7-22(2012)。MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden},莱克特。注释计算。科学。7342,7--22(2012;Zbl 1358.68064) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 使用规则匹配双相似性证明GSOS语言中方程的有效性。 (英语) Zbl 1248.68347号 数学。结构。计算。科学。 22,第2期,291-331(2012). 审核人:Antti Valmari(坦佩雷) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,第2号,291--331(2012;Zbl 1248.68347) 全文: 内政部
朱慧彪;杨,范;何继峰;乔纳森·鲍文(Jonathan P.Bowen)。;杰夫·桑德斯。;秦胜超 概率定时共享变量语言的操作语义和代数语义的链接。 (英语) Zbl 1243.68208号 J.日志。代数。程序。 81,第1期,2-25(2012).MSC公司:第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,J.Log。代数。程序。81,第1号,第2--25号(2012;Zbl 1243.68208) 全文: 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 声音重构。 (英语) 兹比尔1191.68168 科学。计算。程序。 75,第3期,106-133(2010).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人,科学。计算。程序。75,编号3,106--133(2010;Zbl 1191.68168) 全文: 内政部
T·M·拉贝哈加。;J.W.桑德斯。 考虑到概率的数据优化。 (英语) Zbl 1342.68096号 Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259165-176(2009)。MSC公司:68号30 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Rabehaja}和\textit{J.W.Sanders},电子。注释Theor。计算。科学。259165--176(2009年;Zbl 1342.68096) 全文: 内政部
潘聪荣;乔纳森·鲍文(Jonathan P.Bowen)。 数据流计算的形式化和验证流软件合成的协同方法。 (英语) Zbl 1138.68337号 Gavrilova,Marina L.(编辑)等人,《计算科学汇刊》,柏林:施普林格出版社(ISBN 978-3-540-79298-7/pbk)。计算机科学课堂讲稿4750。《期刊副刊》,1-36(2008)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Vinh}和\textit{J.P.Bowen},莱克特。注释计算。科学。4750,1--36(2008年;Zbl 1138.68337) 全文: 内政部
Jean-Lou De Carufel;朱尔斯·德沙奈斯 关于带域的恶魔代数的最新消息。 (英语) Zbl 1140.68036号 Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届Kleene代数应用国际会议,RelMiCS/AKA 2008,德国Frauenwörth,2008年4月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。计算机科学课堂讲稿4988,54-68(2008)。MSC公司:第68季度55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.De Carufel}和\textit{J.Desharnais},莱克特。注释计算。科学。4988,54-68(2008;Zbl 1140.68036) 全文: 内政部
阿尔班·蓬塞;范德兹瓦格,马克B。 贝尔纳普的逻辑和条件组合。 (英语) Zbl 1179.03029号 西奥。计算。科学。 388,编号1-3319-336(2007).MSC公司:03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag},Theor。计算。科学。388,编号1--3,319--336(2007;Zbl 1179.03029) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 优先选择和协调条件。 (英语) Zbl 1106.68071号 J.日志。代数。程序。 70,第2期,172-200(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Log。代数。程序。70,第2号,172--200(2007;Zbl 1106.68071) 全文: 内政部
安德鲁·格雷维尔(Andrew M.Gravell)。 验证条件为代码。 (英语) Zbl 1106.68066号 Acta信息。 43,第6号,431-447(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Gravell},《信息学报》第43期,第6期,第431--447页(2007年;Zbl 1106.68066) 全文: 内政部 链接
何继峰;李晓山;刘志明 rCOS:对象系统的精化演算。 (英语) Zbl 1118.68049号 西奥。计算。科学。 365,编号1-2,109-142(2006).MSC公司:68号30 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.He}等人,Theor。计算。科学。365,编号1--2,109-142(2006;Zbl 1118.68049) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 拆分共刺激和回顾性条件。 (英语) Zbl 1104.68070号 Inf.计算。 204,第7号,1083-1138(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Inf.Compute。204,第7号,1083--1138(2006;Zbl 1104.68070) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 结合程序和状态机。 (英语) 兹比尔1008.68068 J.日志。代数。程序。 51,第2期,175-192(2002).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Log。代数。程序。51,第2号,175--192(2002;Zbl 1008.68068) 全文: 内政部
J.A.伯格斯特拉。;Loots,M.E.先生。 序列代码的程序代数。 (英语) Zbl 1008.68079号 J.日志。代数。程序。 51,第2期,125-156(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{M.E.Loots},J.Log。代数。程序。51,No.2,125--156(2002;Zbl 1008.68079) 全文: 内政部
秦胜超;何继峰;邱宗燕;张乃晓 一种代数硬件/软件划分算法。 (英语) Zbl 1005.68182号 J.计算。科学。技术。 17,第3期,284-294(2002).MSC公司:68周05 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Qin}等人,J.Compute。科学。Technol公司。17,第3号,284--294(2002;Zbl 1005.68182) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 过程代数和条件合成。 (英语) Zbl 1003.68091号 信息处理。莱特。 80,第1期,第41-49页(2001年).MSC公司:68问题85 第68季度55 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},信息处理。莱特。80,第1号,41-49(2001;Zbl 1003.68091) 全文: 内政部
沃尔夫拉姆·卡尔 规范的并行组成和分解。 (英语) Zbl 1004.68097号 信息科学。 139,第3-4号,197-220(2001).MSC公司:60年第68季度 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},信息科学。139,编号3--4,197-220(2001;Zbl 1004.68097) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 具有四值逻辑的进程代数。 (英语) Zbl 1036.68067号 J.应用。非类别。日志。 10,第1期,27-53(2000).MSC公司:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。非类别。日志。10,第1号,第27--53条(2000年;Zbl 1036.68067) 全文: 内政部 链接
何继峰;C.A.R.霍尔。 概率规划中的关联理论。 (英语) Zbl 0943.68033号 信息科学。 119,第3-4号,205-218(1999).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare},Inf.Sci。119,编号3--4,205-218(1999;Zbl 0943.68033) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 Bochvar-McCarthy逻辑和过程代数。 (英语) Zbl 0970.68115号 圣母院J.形式逻辑 39,第4期,464-484(1998).MSC公司:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},圣母院J.形式逻辑39,第4期,464--484(1998;Zbl 0970.68115) 全文: 内政部
罗伯托·贾科巴齐;弗朗西斯科·兰扎托 统一闭包:顺序理论上重建逻辑程序语义和抽象域细化。 (英语) Zbl 0921.68057号 Inf.计算。 145,第2期,153-190(1998).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{F.Ranzato},Inf.Compute。145,第2号,153--190(1998;Zbl 0921.68057) 全文: 内政部 链接
马克·贝泽姆;阿尔班·蓬塞 队列的两个有限规范。 (英语) 兹比尔0911.68010 西奥。计算。科学。 177,第2期,487-507(1997).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}和\textit{A.Ponse},Theor。计算。科学。177,第2号,487--507(1997;Zbl 0911.68010) 全文: 内政部
罗杰·马杜克斯。 关系代数语义。 (英语) Zbl 0872.68106号 西奥。计算。科学。 160,编号1-2,1-85(1996).MSC公司:第68季度55 68甲15 03G15年 PDF格式BibTeX公司 XML格式引用 \文本{R.D.Maddux},Theor。计算。科学。160,编号1--2,1--85(1996;Zbl 0872.68106) 全文: 内政部
托马斯·格里茨纳。;鲁道夫·伯哈默 鲁棒正确性的关系代数模型。 (英语) Zbl 0871.68125号 西奥。计算。科学。 159,第2期,245-270(1996).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.F.Gritzner}和\textit{R.Berghammer},Theor。计算。科学。159,第2号,245--270(1996;Zbl 0871.68125) 全文: 内政部
斯特凡·德姆里;或者鄂尔多斯卡 恶魔非确定性程序的逻辑分析。 (英语) Zbl 0872.03018号 西奥。计算。科学。 166,第1-2号,173-202(1996).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.或łowska},Theor。计算。科学。166,编号1-2173-202(1996年;Zbl 0872.03018) 全文: 内政部
阿尔班·蓬塞 可计算过程和互模拟等价。 (英语) Zbl 0862.68052号 正式Asp。计算。 8,第6号,648-678(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse},正式Asp。计算。8,第6号,648--678(1996;Zbl 0862.68052) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。 离散时间过程代数。 (英语) Zbl 0849.68033号 正式Asp。计算。 8,第2期,188-208(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra},正式Asp。计算。8,第2号,188--208(1996;Zbl 0849.68033) 全文: 内政部
我·雷维茨基。;布林克,C。 将变压器作为电源操作。 (英语) Zbl 0835.68075号 正式Asp。计算。 7,第2期,169-182(1995).MSC公司:第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Rewitzky}和\textit{C.Brink},正式Asp。计算。7,第2号,169--182(1995;Zbl 0835.68075) 全文: 内政部
乔普·凯塞尔斯(Joep L.W.Kessels)。 有界响应时间和有界功耗计数器的计算推导。 (英语) 兹比尔1448.68126 分布计算。 8,第3期,143-149(1995).MSC公司:64岁以下 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{J.L.W.Kessels},分布计算。8,第3号,143--149(1995;Zbl 1448.68126) 全文: 内政部
斯特凡·德姆里;埃瓦州奥洛斯卡;英格丽德·雷维茨基 关于霍尔关系的推理。 (英语) Zbl 0858.68057号 安。数学。Artif公司。因特尔。 12,编号3-4,265-289(1994).MSC公司:第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《数学年鉴》。Artif公司。因特尔。12,编号3--4,265--289(1994;Zbl 0858.68057) 全文: 内政部
Jan Friso,格鲁特;阿尔班·蓬塞 带保护的进程代数:将hoare逻辑与进程代数相结合。 (英语) Zbl 0806.68078号 正式Asp。计算。 6,第2期,115-164(1994).MSC公司:60年第68季度 第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{A.Ponse},正式Asp。计算。6,编号2,115-164(1994年;兹bl 0806.68078) 全文: 内政部
C.B.琼斯。 在基于对象的设计方法中约束干涉。 (英语) Zbl 1497.68100号 Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 136-150 (1993).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},莱克特。注释计算。科学。668136-150(1993年;兹bl 1497.68100) 全文: 内政部
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) 全文: 内政部
何继峰;C.A.R.霍尔。 从代数到操作语义。 (英语) Zbl 0795.68124号 信息处理。莱特。 45,No.2,75-80(1993).MSC公司:第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare},Inf.过程。莱特。45,第2号,75--80(1993;Zbl 0795.68124) 全文: 内政部
后退,R.J.R。;冯·赖特,J。 在程序规范中结合了天使、恶魔和奇迹。 (英语) Zbl 0754.68078号 西奥。计算。科学。 100,第2期,365-383(1992).MSC公司:第68季度55 60年第68季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{J.von Wright},Theor。计算。科学。100,第2号,365--383(1992;Zbl 0754.68078) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 通信系统语言之间的接口。 (英语) 兹比尔1425.68300 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。第623641-655页(1992年)。MSC公司:68问题85 68甲15 68N20型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},莱克特。注释计算。科学。623641-655(1992年;Zbl 1425.68300) 全文: 内政部
谢特林,G.E。;巴库林,A.V。 多级结构化程序设计和正确性证明。 (英语。俄文原件) Zbl 0841.68075号 赛博。系统。分析。 27,第5期,719-726(1991);翻译自Kibern。修女。分析。1991年,第5号,98-107(1991)。MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}和\textit{A.V.Bakulin},Cybern。系统。分析。27,No.5,719--726(1991;Zbl 0841.68075);翻译自Kibern。修女。分析。1991年,第5期,98--107(1991) 全文: 内政部
A.W.罗斯科。;C.A.R.霍尔。 Occam编程的规律。 (英语) Zbl 0719.68039号 西奥。计算。科学。 60,No.2,177-229(1988). 审核人:I.游击队(巴黎) MSC公司:第68季度55 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}和\textit{C.A.R.Hoare},Theor。计算。科学。60,第2号,177--229(1988;Zbl 0719.68039) 全文: 内政部