@第{zbMATH01190136条，作者={伯纳多、马尔科和戈里埃里、罗伯托}，标题={EMPA}教程：具有不确定性、优先级、概率和时间的并发过程的{A}理论}，FJournal={理论计算机科学}，期刊＝{Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{202}，数字={1-2}，页码={1--54}，年份={1998}，语言={英语}，DOI={10.1016/S0304-3975（97）00127-8}，关键词={68Q10}，zbMATH={1190136}，Zbl={0902.68075}}