<?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%">José Proença</style></author><author><style face="normal" font="default" size="100%">Dave Clarke</style></author><author><style face="normal" font="default" size="100%">Erik P. de Vink</style></author><author><style face="normal" font="default" size="100%">Farhad Arbab</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Decoupled execution of synchronous coordination models via behavioural automata</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of 10th International Workshop on the Foundations of Coordination Languages and Software Architectures - FOCLASA </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/joseproenca/files/behaviouralautomata.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Aachen, Germany</style></pub-location><pages><style face="normal" font="default" size="100%">65–79</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logically synchronous coordination model based on the Reo coordination language, which focuses on relevant aspects for the concurrent evolution of these systems. We show how our automata model encodes the Reo and Linda coordination models and how it introduces an explicit predicate that captures the concurrent evolution, distinguishing local from global actions, and lifting the need of most synchronous models to involve all entities at each coordination step, paving the way to more scalable implementations.&lt;/p&gt;
</style></abstract></record></records></xml>