Author:
Arbab Farhad,Baier Christel,de Boer Frank,Rutten Jan,Sirjani Marjan
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Arbab, F.: Abstract behavior types: A foundation model for components and their composition. In: [11], pp. 33–70 (2003)
2. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 1–38 (2004)
3. Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logics for timed component connectors. In: Proc. SEF 2004.IEEE CS Press, Los Alamitos (2004)
4. Arbab, F., Baier, C., Rutten, J.J.M.M., Sirjani, M.: Modeling component connectors in reo by constraint automata. In: FOCLASA’03, volume 97 of ENTCS, pp. 25–41 (2004) Full version see, http://web.informatik.uni-bonn.de/I/baier/publikationen.html.
5. Lecture Notes in Computer Science;F. Arbab,2003
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献