劳伦·弗里堡;马科斯·维洛索·佩克索托 并发约束自动机。（自动进行约束。） （法语） Zbl 0939.68707号 RAIRO，科技。信息。 第6期第13期第837-866页（1994年）. 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}和\textit{M.Veloso-Peixoto}，RAIRO，科技。Inf.13，No.6，837--866（1994；Zbl 0939.68707）