Christel Baier, Verena Wolf. Stochastic Reasoning About Channel-Based Component Connectors. In Paolo Ciancarini, Herbert Wiklicky, editors, Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Volume 4038 of Lecture Notes in Computer Science, pages 1-15, Springer, 2006. [doi]
Abstract is missing.