Author:
Bonsangue Marcello,Clarke Dave,Silva Alexandra
Reference39 articles.
1. Reo: a channel-based coordination model for component composition;Arbab;Math. Structures Comput. Sci.,2004
2. Abstract behavior types: a foundation model for components and their composition;Arbab;Sci. Comput. Program.,2005
3. Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari, Tiles for Reo, in: Corradini and Montanari [15], pp. 37–55.
4. Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef, From coordination to stochastic models of QoS, in: Field and Vasconcelos [19], pp. 268–287.
5. An overview of Manifold and its implementation;Arbab;Concurrency - Pract. Exp.,1993
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. From symbolic constraint automata to Promela;Journal of Logical and Algebraic Methods in Programming;2022-08
2. Compositional workflow modeling with priority constraints;Science of Computer Programming;2021-03
3. Soft constraint automata with memory;Journal of Logical and Algebraic Methods in Programming;2021-01
4. Service Orchestration with Priority Constraints;Fundamentals of Software Engineering;2019
5. (Context-Sensitivity In) Reo, Revisited;Formal Aspects of Component Software;2017