多龙·德鲁辛斯基;大卫·哈雷 关于有界并发的力量。一： 有限自动机。 （英语） Zbl 0813.68138号 J.协会计算。机器。 41，第3期，517-539（1994）. 引用于1审查引用于23文件 MSC公司： 65年第68季度 形式语言和自动机 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：ω-自发性;状态图;简洁;有界协同并发;Petri网;确定性并发自动机 PDF格式BibTeX公司 XML格式引用 \textit{D.Drusinsky}和\textit{D.Harel}，J.协会计算。机器。41，第3号，517--539（1994；Zbl 0813.68138） 全文： 内政部