克里斯特尔·拜尔；马尔詹·西尔贾尼；法哈德·阿尔巴；简·拉特 通过约束自动机在Reo中建模组件连接器。 （英语） Zbl 1105.68058号 科学。计算。程序。 61，第2期，75-113（2006）. 摘要：我们引入了约束自动机，并将其作为Reo的操作模型，Reo是一种基于通道演算的用于组件连接器组合构造的外部协调语言。通过为约束自动机提供组合操作符，并为其定义等价和细化关系的概念，本文涵盖了构建工具的基础，以解决诸如为给定组件连接器自动构造自动机、，两个给定连接器行为的等价性检查或包含性检查，以及协调机制的验证。 引用于39文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：约束自动机；里奥；定时数据流；协调；组件；作文；互模拟；模拟；验证 软件：里奥 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，科学。计算。程序。61，No.2，75--113（2006；Zbl 1105.68058） 全文： DOI程序 链接