Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004. ,
DOI : 10.1017/S0960129504004153
From Cooridination to Stochastic Models of QoS, Proceedings of COORDINATION'09, pp.268-287, 2009. ,
Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.6175-113, 2006. ,
DOI : 10.1016/j.scico.2005.10.008
Quantitative verification: Models, techniques and tools, Proceedings of ESEC/FSE 2007, pp.449-458, 2007. ,
DOI : 10.1145/1287624.1287688