Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference30 articles.
1. Modeling heterogeneous real-time components in BIP;Basu,2006
2. The algebra of connectors: structuring interaction in BIP;Bliudze,2007
3. Reo: a channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
4. Puff, the magic protocol;Arbab,2011
5. Configuration and dynamic reconfiguration of components using the coordination paradigm;Papadopoulos;Future Gener. Comput. Syst.,2001
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Overview on Constrained Multiparty Synchronisation in Team Automata;Lecture Notes in Computer Science;2024
2. TRAC: A Tool for Data-Aware Coordination;Lecture Notes in Computer Science;2024
3. Composition of Component Models - A Key to Construct Big Systems;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
4. Different Glasses to Look into the Three Cs: Component, Connector, Coordination;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Constraint automata with memory cells and their composition;Science of Computer Programming;2017-10