歧管

控制驱动协调语言流形协调语言的过渡系统语义学是一种新的并行程序语言,它管理并发程序之间的交互。基本上,协调是通过操纵在所有活动过程之间共享的数据值或通过动态地改变进程之间的互连作为观察其状态变化的结果来实现的。后者,也称为控制驱动协调,是由歧管支持的。我们提出了一个歧管核心的形式语义,基于两级转移系统模型:第一层用于指定歧管系统中每个单组分的理想行为,而第二层捕获它们的相互作用。虽然本文采用了两级模型来定义面向控制的协调语言的语义,但是这种方法也有助于其他协调模型和语言的形式化研究。


ZBMaX中的参考文献(30篇)1标准条款

显示结果1至20的30。
按年份排序(引文
  1. Boangangue,马塞洛;克拉克,戴夫;席尔瓦,亚历山德拉:上下文相关的组件连接器模型(2012)
  2. 席尔瓦,亚历山德拉:Reo连接器的规范语言(2012)
  3. BuSi,纳迪娅;ZavaTaLo,GiangLuigi:共享数据空间协调的过程代数视图(2008)
  4. D.IAZ,曼努埃尔;Rubio,BtotoLeMe;ToLya,Joem. M.:一种基于元组信道的并行和分布式程序设计协调模型(2007)
  5. BuSi,纳迪娅;ZavaTaLo,GiangLuigi:过程代数的协调观(2006)伊波尔特
  6. 林登,I.雅凯,J.M.;De Bosschere,K.;Brogi,A.:时间协调模型的表现性(2006)
  7. Omicini,安德列;里奇,Alessandro;ViLogi,米尔科:协调和安全策略的形式化规范和制定的Agent协调上下文(2006)
  8. ARABBR,法拉德:抽象行为类型:部件及其组成的基础模型(2005)
  9. Bracciali,安德列;Brgi,安东尼奥;Turini,Franco:开放系统行为规范和验证的框架(2005)
  10. CAMPA,索尼亚:正交数据和控制并行处理的正式框架(2005)
  11. 帕丁森,Dirk;Wirsing,马丁:移动组件的协调方法(2005)
  12. ARABAB,FARDA: Re:一种基于组件的信道协调模型(2004)
  13. 林登,I.雅凯,J.M.:绝对时间协调语言的表现性(2004)
  14. Bangsangu,Marcello M.;Ko.JooS.n;ZavaTaLo,GiangLuigi:使用嵌入比较协调模型和体系结构(2003)
  15. Moran,安得烈;金沙,戴维;卡尔松,马格纳斯:不稳定的FudGe:一种嵌入式协调语言的语义理论(2003)
  16. Bracciali,安德列;BrGi,安东尼奥;管,卡洛斯:动态适应软件组件的行为(2002)
  17. Browne,James C.;凯恩,凯文;田,红霞:一种基于关联广播的分布式过程协调模型(2002)
  18. Groenewegen,卢克;de Vink,埃里克:范式中的协调操作语义学(2002)
  19. Viroli,米尔科;Omicini,安德列:观察框架中基于元组的模型(2002)
  20. 舒马赫,米迦勒:多智能体系统工程中的目标协调问题。设计与实现(2001)