乔纳森·鲍文（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） 全文： 内政部
肖莉莉；朱慧彪 基于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；Zbl 1498.68018） 全文： 内政部
谢万玲；朱慧彪；徐启文 移动系统的进程演算BigrTiMo及其形式语义。 （英语） 兹比尔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） 全文： 内政部
盛，冯；朱慧彪；何继峰；杨宗元；乔纳森·鲍文（Jonathan P.Bowen）。 基于UTP的MDESL指称语义的理论和实践方法。 （英语） Zbl 1458.68041号 正式Asp。计算。 32，编号2-3，275-314（2020）.MSC公司：68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.Sheng}等人，正式Asp。计算。32，编号2--3，275--314（2020；Zbl 1458.68041） 全文： 内政部
蒋建敏；朱慧彪；李，秦；赵永新；张、石；龚萍；洪，钟 基于事件的功能分解。 （英语） 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。计算。 第6期第30期第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） 全文： 内政部
朱龙飞；徐启文；何继峰；朱慧彪 混合编程语言的形式化模型。 （英语） Zbl 1457.68038号 戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8963, 125-142 (2015).MSC公司：68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhu}等人，Lect。票据计算。科学。8963、125--142（2015年；Zbl 1457.68038） 全文： 内政部
朱，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） 全文： 内政部
朱慧彪；刘鹏；何继峰；秦胜超 使用Maude为Verilog连接操作语义和代数语义的机械方法。 （英语） Zbl 1452.68123号 Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。7681, 164-185 (2013).MSC公司：60年第68季度 2007年7月68日 第68季度第42季度 第68季度55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，Lect。票据计算。科学。7681、164--185（2013；Zbl 1452.68123） 全文： 内政部
朱龙飞；赵永新；朱慧彪；徐启文 面向网络物理系统的建模语言。 （英语） Zbl 1390.68167号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰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年；兹bl 1243.68208） 全文： 内政部
李静；朱慧彪；何继峰 服务编排事务演算的观察模型。 （英语） Zbl 1161.68624号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160201-215（2008）。MSC公司：68问题85 68M10个 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛J.Li｝等人，Lect。票据计算。科学。5160、201-215（2008年；Zbl 1161.68624） 全文： 内政部