@第{zbMATH01542393条，作者={Sangiorgi，D.}，标题={异步过程计算：{一阶和高阶范式}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{253}，数字={2}，页码={311--350}，年份={2001}，语言={英语}，DOI={10.1016/S0304-3975（00）00097-9}，关键词={68Q55}，zbMATH={1542393}，Zbl={0956.68081}}