你好,托尼;范·斯塔登(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) 全文: 内政部
范·斯塔登(Stephan van Staden) 构建视图框架。 (英文) Zbl 1457.68070号 戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。勒克特。注释计算。科学。8963, 62-83 (2015).MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.van Staden},莱克特。注释计算。科学。8963,62-83(2015;Zbl 1457.68070) 全文: 内政部
伯恩哈德·莫勒;你好,托尼 探索CKA的接口模型。 (英文) Zbl 1432.68314号 Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9129, 1-29 (2015).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}和\textit{T.Hoare},莱克特。注释计算。科学。9129,1--29(2015;Zbl 1432.68314) 全文: 内政部 链接
JoséN·奥利维拉。 函数依赖的“Hoare逻辑”的关系代数方法。 (英文) Zbl 1434.68144号 J.日志。阿尔盖布。方法计划。 83,第2期,249-262(2014).MSC公司:第68页,共15页 03B70号 03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}、J.Log。阿尔盖布。方法计划。83,第2号,249--262(2014;Zbl 1434.68144) 全文: 内政部
范·斯塔登(Stephan van Staden);你好,托尼 代数统一了运算计算。 (英文) Zbl 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) 全文: 内政部
你好,托尼 编程法则的通用模型。 (英文) Zbl 1390.68182号 刘志明(主编)等,《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,213-226(2013)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔},莱克特。注释计算。科学。80512113-226(2013年;兹比尔1390.68182) 全文: 内政部
你好,托尼 统一并发编程的语义。 (英文) Zbl 1264.68042号 Coecke,Bob(编辑)等人,《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-38163-8/pbk)。《计算机科学讲义》7860、139-149(2013)。MSC公司:68甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.霍尔},莱克特。注释计算。科学。7860、139--149(2013年;Zbl 1264.68042) 全文: 内政部
你好,托尼;范·斯塔登(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) 全文: 内政部
你好,托尼;范·斯塔登(Stephan van Staden) 编程法则统一了过程计算。 (英文) Zbl 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) 全文: 内政部
你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数及其基础。 (英文) Zbl 1278.68176号 J.日志。阿尔盖布。程序。 80,第6期,266-296(2011).MSC公司:60年第68季度 68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。程序。80,No.6,266--296(2011;Zbl 1278.68176) 全文: 内政部 链接
伊恩·卫尔曼;C.A.R.霍尔。;O'Hearn,Peter W。 分离逻辑的图形模型。 (英文) 兹比尔1200.68153 信息处理。莱特。 109,编号:171001-1004(2009).MSC公司:68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wehrman}等人,《信息处理》。莱特。109,编号171001--1004(2009年;兹bl 1200.68153) 全文: 内政部