Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi. Modeling and Analysis of Reo Connectors Using Alloy. In Doug Lea, Gianluigi Zavattaro, editors, Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Volume 5052 of Lecture Notes in Computer Science, pages 169-183, Springer, 2008. [doi]
Abstract is missing.