@第{zbMATH06596349条，作者={Hoare、Tony和van Staden、Stephan和M{“o}ller、Bernhard和Struth、Georg和Zhu、Huibiao}，Title={并发{Kleene}代数的发展}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={85}，数字={4}，页码={617--636}，年份={2016年}，语言={英语}，DOI={10.1016/j.jlamp.2015.09.012}，关键词={68Q70，68N30，68Q85}，zbMATH＝{6596349}，Zbl={1344.68149}}