@第{zbMATH07138314条，作者={van Glabbeek，Rob}，Title={确保分布式系统的活性属性：开放问题}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={109}，页码={19}，注={Id/No 100480}，年份={2019}，语言={英语}，DOI={10.1016/j.jlamp.2019.100480}，关键词={68Q85,68M14,68Q60}，zbMATH={7138314}，Zbl={1435.68216}}