@第{zbMATH05017459条，作者＝{Garavel，Hubert和Serwe，Wendelin}，标题={进程代数规范的状态空间约简}，FJournal＝{理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={351}，数字={2}，页码={131--145}，年份={2006}，语言={英语}，DOI={10.1016/j.tcs.2005.09.064}，关键词={68Q85,68Q60}，zbMATH={5017459}，Zbl=｛1086.68091｝}