Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Models and temporal logical specifications for timed component connectors;Arbab;Software and Systems Modeling (SoSyM),2007
2. Workflow patterns;Van Der Aalst;Distrib. Parallel Databases,2003
3. Coordination Programming: Mechanisms, Models and Semantics,1996
4. Reo: a channel-based coordination model for component composition;Arbab;Mathematical Structures in Computer Science,2004
5. The Foundations of Esterel;Berry,2000
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Centralized coordination vs. partially-distributed coordination with Reo and constraint automata;Science of Computer Programming;2018-08
2. Combine and conquer: Relating BIP and Reo;Journal of Logical and Algebraic Methods in Programming;2017-01
3. Relating BIP and Reo;Electronic Proceedings in Theoretical Computer Science;2015-08-19
4. Puff, The Magic Protocol;Formal Modeling: Actors, Open Systems, Biological Systems;2011
5. Elements of Interaction;Complex Systems Design & Management;2010