歧管

此软件的关键字
zbMATH中的参考文献(参考
30篇文章, 1标准件 )
Dave Sangella模型;Dave Sangella模型 Silva,Alexandra:Reo连接器规范语言(2012) Busi,Nadia;Zavattaro,Gianluigi:共享数据空间协调的过程代数视图(2008) Díaz,Manuel;Rubio,Bartolomé;Troya,JoséM.:基于元组通道的并行和分布式编程协调模型(2007) Busi,Nadia;Zavattaro,Gianluigi:过程代数协调观(2006) ioport公司 Linden,I.;Jacquet,J.-M.;De Bosschere,K.;Brogi,A.:关于时间协调模型的表现力(2006) Omicini,Andrea;Ricci,Alessandro;Viroli,Mirko:正式规范和制定协调和安全策略的代理协调上下文(2006) Arbab,Farhad:《抽象行为类型:组件及其组合的基础模型》(2005) Braccali,Andrea;Brogi,Antonio;Turini,Franco:一个指定和验证开放系统行为的框架(2005) Campa,Sonia:正交数据和控制并行处理的形式化框架(2005) Pattinson,Dirk;Wirsing,Martin:移动组件的协调方法(2005) Arbab,Farhad:Reo:基于通道的组件组合协调模型(2004) 林登,I.;雅克,J.-M.:关于绝对时间协调语言的表现力(2004) Bonsangue,Marcello M.;Kok,Joost N.;Zavattaro,Gianluigi:使用嵌入比较协调模型和架构(2003) 莫兰,安德鲁;桑兹,大卫;卡尔森,马格努斯:《不稳定的谎言:嵌入式协调语言的语义理论》(2003) Braccali,Andrea;Brogi,Antonio;Canal,Carlos:动态调整软件组件的行为(2002) Browne,James C.;Kane,Kevin;Tian,Hongxia:一种基于广播的分布式进程关联协调模型(2002) Groenewegen,Luuk;de Vink,Erik:范式中协调的操作语义(2002) Viroli,Mirko;Omicini,Andrea:观察框架中基于元组的模型(2002) 舒马赫:多智能体系统工程中的目标协调。 设计与实施(2001)