Author:
Kappé Tobias,Lion Benjamin,Arbab Farhad,Talcott Carolyn
Funder
European Research Council
Office of Naval Research
Reference53 articles.
1. Reo: a channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
2. Preference and similarity-based behavioral discovery of services;Arbab,2012
3. Design and verification of systems with exogenous coordination using Vereofy;Baier,2010
4. Synthesis of Reo connectors for strategies and controllers;Baier;Fundam. Inform.,2014
5. Modeling component connectors in Reo by constraint automata;Baier;Sci. Comput. Program.,2006
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime Composition of Systems of Interacting Cyber-Physical Components;Recent Trends in Algebraic Development Techniques;2023
2. A semantic model for interacting cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2022-11
3. Detection and diagnosis of deviations in distributed systems of autonomous agents;Mathematical Structures in Computer Science;2022-09-06
4. A formal framework for distributed cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2022-08
5. A Rewriting Framework for Interacting Cyber-Physical Agents;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022