@第{zbMATH02157580条，作者={Fournet，C{\ee}dric和Gonthier，Georges}，Title={异步演算的等价层次结构}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN＝{1567-8326}，体积={63}，数字={1}，页码={131--173}，年份={2005}，语言={英语}，DOI={10.1016/j.jlap.2004.01.006}，关键词={68Q85}，zbMATH={2157580}，Zbl={1066.68088}}