@第{zbMATH06506924条，作者={Crafa，Silvia}，Title={并发在编程抽象进化视图中的作用}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={84}，数字={6}，页码={732--741}，年份={2015年}，语言={英语}，DOI={10.1016/j.jlamp.2015.07.006}，关键词={68Q85,68N15,68N19}，zbMATH={6506924}，Zbl=｛1330.68200｝}