钟曼，宋世堂。;法哈德·阿尔巴 Reo的三十种语义形式概述。 （英语） Zbl 1424.68105号 科学。Ann.计算。科学。 22，第1期，201-251（2012）. 摘要：在过去的几十年中，协调语言已经出现用于通信软件组件的交互协议的规范和实现。这类语言包括Reo连接器组合构造平台。近年来，描述Reo连接器行为的许多形式有出现。在本文中，我们概述了所有这些类别的语义模型。此外，我们还研究了两个更突出的类，约束自动机和着色模型，详细说明。 引用于4文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 形式语言和自动机 68问题55 计算理论中的语义学 关键词：并发;协调;里奥;语义学;约束自动机;连接器着色 软件：里奥 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.T.Q.Jongmans}和\textit{F.Arbab}，科学。Ann.计算。科学。22，第1号，201--251（2012；Zbl 1424.68105）