机译:通过约束自动机在Reo中建模组件连接器
Constraint automata; Reo; Timed data streams; Coordination; Components; Composition; Bisimulation; Simulation; Verification;
机译:Buechi自动机,用于对组件连接器建模
机译:使用Reo和约束自动机进行集中协调与部分分布式协调
机译:使用约束自动机对Reo电路进行符号执行
机译:用于实现组件连接器自动机规范的REO电路的合成
机译:基于自动机的模型计算字符串约束求解器,用于漏洞分析。
机译:JigCell模型连接器:从组件构建大型分子网络模型
机译:通过约束自动机在Reo中建模组件连接器