An Enhanced Model for Stochastic Coordination Oliveira,N en Luís Soares Barbosa en 2018-01-17T19:17:51Z 2018-01-17T19:17:51Z 2016 en
dc.description.abstract 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. en
dc.identifier.uri en
dc.language eng en
dc.relation 5603 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title An Enhanced Model for Stochastic Coordination en
dc.type article en
dc.type Publication en
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
132.97 KB
Adobe Portable Document Format