肖莉莉;朱慧彪 基于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） 全文： 内政部
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 （英语） 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） 全文： 内政部