@收款{zbMATH07573251，作者={维达尔，德语{\'a}n}，Title={使用选择性接收在消息传递并发编程中计算种族变量}，BookTitle={分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼}，国际标准图书编号={978-3-031-08678-6；978-3-331-08679-3}，页码={188--207}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-031-08679-3_12}，关键词={68N30,68N19,68Q85}，zbMATH={7573251}，Zbl={1499.68070}}