Author:
Li Yi,Zhang Xiyue,Ji Yuanyi,Sun Meng
Publisher
Springer International Publishing
Reference18 articles.
1. The JANI specification of the jani-model format and the jani-interaction protocol.
http://www.jani-spec.org/
2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
3. Arbab, F., Baier, C., de Boer, F.S., Rutten, J.J.M.M.: Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1), 59–82 (2007)
4. Lecture Notes in Computer Science;F Arbab,2009
5. Baier, C.: Probabilistic models for Reo connector circuits. J. Univ. Comput. Sci. 11(10), 1718–1748 (2005)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献