谢万玲；朱慧彪；徐启文 移动系统的进程演算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） 全文： 内政部
谢万玲；向、双清；朱慧彪 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） 全文： 内政部
泽达，弗兰克；西蒙·福斯特；利奥·弗雷塔斯 Isabelle/UTP的公理化价值模型。 （英语） Zbl 1483.68093号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134155-175（2017年）。MSC公司：68号30 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}等人，莱克特。注释计算。科学。10134，155--175（2017；Zbl 1483.68093） 全文： 内政部 链接
西蒙·福斯特；泽达，弗兰克；吉姆·伍德科克 Isabelle/UTP：一个机械化的理论工程框架。 （英语） Zbl 1457.68061号 戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8963, 21-41 (2015).MSC公司：68号30 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，Lect。注释计算。科学。8963，21-41（2015；Zbl 1457.68061） 全文： 内政部 链接
朱，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） 全文： 内政部 链接
安娜·卡瓦尔坎蒂；泽达，弗兰克；Wellings，安迪；吉姆·伍德科克；魏坤 来自的安全关键Java程序马戏团模型。 （英语） Zbl 1285.68037号 实时系统。 49，第5期，614-667（2013）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，实时系统。49，No.5，614--667（2013；Zbl 1285.68037） 全文： 内政部