GRL公司

GRL:一种用于全局异步局部同步系统的规范语言。GALS(global Asynchronous,local Synchronous,global Asynchronous,local Synchronous)系统由多个同步子系统组成,这些子系统同时演化并相互异步交互。大多数形式和设计工具支持同步范式或异步范式,但很少将两者结合起来,这就需要对GALS系统进行复杂的建模。本文提出了一种新的语言GRL(GALS表示语言),它以抽象和通用的方式对GALS系统进行建模,以达到形式验证的目的。GRL的形式语义结合了数据流语言的同步反应模型和进程代数的异步并发模型。我们介绍了该语言的基本概念和主要结构,并给出了一个示例。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献2条)

显示结果1到2,共2个。
按年份排序(引用)

  1. 杰巴里,法特玛;朗,法国édé风险投资委员会;Mateescu,Radu:使用GRL和CADP对GALS系统进行正式建模和验证(2016年)
  2. 杰巴里,法特玛;朗,法国édé风险投资委员会;Mateescu,Radu:GRL:全球异步本地同步系统规范语言(2014)ioport公司