玻璃钢 swMATH ID: 16845 软件作者： Jebali F、Lang F、Mateescu R 描述： GRL：全局异步本地同步系统的规范语言。GALS（Globally Asynchronous，Locally Synchronous）系统由几个同步子系统组成，这些子系统同时演化并异步交互。大多数形式主义和设计工具支持同步范式或异步范式，但很少将两者结合起来，这需要对GALS系统进行复杂的建模。在本文中，我们提出了一种新的语言，称为GRL（GALS表示语言），旨在以抽象和通用的方式对GALS系统进行建模，以便进行形式验证。GRL的形式语义结合了数据流语言的同步反应模型和进程代数的异步并发模型。我们介绍了该语言的基本概念和主要结构，以及一个示例。 主页： http://link.springer.com/chapter/10.1007/978-3-319-11737-9_15 相关软件： 电子LOTOS；AADL公司；LNT2LOTOS公司；酯类；多时性；CADP公司；自旋蛋白 引用于： 1文件 3位作者引用 1 法特玛杰巴利 1 弗雷德里克·朗 1 拉杜·马特埃斯库 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文