<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Nuno Oliveira</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Razieh Behjati</style></author><author><style face="normal" font="default" size="100%">Ahmed Elmokashfi</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Enhanced Model for Stochastic Coordination</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016.</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">EPTCS</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.4204/EPTCS.228.5</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/ob16.pdf</style></url></related-urls></urls><volume><style face="normal" font="default" size="100%">228</style></volume><pages><style face="normal" font="default" size="100%">35–45</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record></records></xml>