@收款{zbMATH07447734，作者={加利亚尼，彼得罗}，标题={团队语义中的安全依赖原子和可能性运算符}，BookTitle={关于游戏、自动机、逻辑和形式验证的第九届国际研讨会论文集，GandALF 2018，Saarbr“ucken，德国，2018年9月26日至28日}，页码={58--72}，年份={2018年}，Publisher={滑铁卢：开放出版协会（OPA）}，语言={英语}，关键词={03B60}，URL={eptcs.web.cse.unsw.edu.au/paper.cgi？GandALF18.5}，zbMATH={7447734}，Zbl={1524.03025}}