@第{zbMATH07349690条，作者={Xie，Wanling and Zhu，Huibiao and Xu，Qiwen}，Title={移动系统的过程演算{BigrTiMo}及其形式语义}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={2}，页码={207--249}，年份={2021}，语言={英语}，DOI={10.1007/s00165-021-00530-x}，关键词={68Q85,68N30,68Q55,68Q60}，zbMATH={7349690}，Zbl={1511.68189}}