Modeling and Analysis of Reo Connectors Using Alloy.

Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi

Browse the full Coordination paper archive.