  Applications developed over the cloud coordinate several, often anonymous,
computational resources, distributed over different execution nodes, within
flexible architectures. Coordination models able to represent quantitative data
provide a powerful basis for their analysis and validation. This paper extends
IMCreo, a semantic model for Stochastic reo based on interactive Markov chains,
to enhance its scalability, by regarding each channel and node, as well as
interface components, as independent stochastic processes that may (or may not)
synchronise with the rest of the coordination circuit.
