Author:
Farhadi Alireza,Izadi Mohammad,Habibi Jafar
Publisher
Springer International Publishing
Reference20 articles.
1. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
2. Lecture Notes in Computer Science;F Arbab,2011
3. Lecture Notes in Computer Science;F Arbab,2007
4. Baier, C., Katoen, J.P.: Principles of Model Checking, vol. 950. The MIT press, Cambridge (2008)
5. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)