@收款{zbMATH07343231，作者={张，富源和赵，永旺和三，大卫和刘，杨和邹，阿尔文和林，尚伟和孙，军}，标题={共享变量并发程序的组合推理}，BookTitle={正式方法。第22届国际研讨会，FM 2018，作为联邦逻辑会议的一部分举行，FloC 2018，英国牛津，2018年7月15-17日。诉讼}，国际标准图书编号={978-3-319-95581-0；978-3-3169-95582-7}，页码={523--541}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-95582-7_31}，关键词={68Q60,68N19,68Q85}，URL={ink.library.smu.edu.sg/sis_research/4649}，zbMATH={7343231}，Zbl={1460.68067}}