@第{zbMATH00598167条，作者={Groote，Jan Friso and Ponse，Alban}，标题={带保护的进程代数：{将}灰逻辑与进程代数结合}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={6}，数字={2}，页码={115--164}，年份={1994}，语言={英语}，DOI={10.1007/BF01221097}，关键词={68Q60,68Q55,68Q10}，zbMATH={598167}，Zbl={0806.68078}}