陈宁宁;朱慧彪 CaIT演算的表示和代数语义。 (英语) Zbl 07719829号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13572, 132-150 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Chen}和\textit{H.Zhu},Lect。注释计算。科学。13572,132-150(2022;Zbl 07719829) 全文: 内政部
肖莉莉;朱慧彪 基于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) 全文: 内政部
谢万玲;朱慧彪;徐启文 移动系统的进程演算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 1435.68062号 Inf.计算。 271,文章ID 104484,22 p.(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jiang}等人,《信息计算》。271,文章ID 104484,22 p.(2020;Zbl 1435.68062) 全文: 内政部
谢万玲;香,双清;朱慧彪 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) 全文: 内政部
你好,托尼;范·斯塔登(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) 全文: 内政部
朱,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) 全文: 内政部 链接
理查德·巴纳赫;朱慧彪;苏文;黄润蕾 连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计:简单的列车停车应用程序。 (英语) Zbl 1342.93065号 正式Asp。计算。 26,第2期,319-366(2014).MSC公司:93立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人,《形式Asp》。计算。26,第2号,319--366(2014;Zbl 1342.93065) 全文: 内政部
朱慧彪;杰夫·桑德斯。;何继峰;秦胜超 概率定时共享变量语言的表示语义。 (英语) Zbl 1452.68062号 Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 224-247 (2013).MSC公司:68号30 68甲15 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,Lect。注释计算。科学。7681,224--247(2013;Zbl 1452.68062) 全文: 内政部
朱龙飞;赵永新;朱慧彪;徐启文 面向网络物理系统的建模语言。 (英语) 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) 全文: 内政部
朱慧彪;杨,范;何继峰;乔纳森·鲍文(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) 全文: 内政部