Stochastic Reasoning About Channel-Based Component Connectors.

Christel Baier, Verena Wolf

Browse the full Coordination paper archive.