Author:
Zhang Xiyue,Hong Weijiang,Li Yi,Sun Meng
Publisher
Springer International Publishing
Reference19 articles.
1. Package of source files. https://github.com/liyi-david/reoincoq
2. Aichernig, B.K., Arbab, F., Astefanoaei, L., de Boer, F.S., Sun, M., Rutten, J.: Fault-based test case generation for component connectors. In: Proceedings of TASE 2009, pp. 147–154. IEEE Computer Society (2009)
3. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
4. Lecture Notes in Computer Science;F Arbab,2003
5. Lecture Notes in Computer Science;C Baier,2010
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献