Christel Baier Verena Wolf Stochastic Reasoning About Channel-Based Component Connectors. 1-15 2006 conf/coordination/2006 COORDINATION http://dx.doi.org/10.1007/11767954_1 db/conf/coordination/coordination2006.html#BaierW06