<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dave Clarke</style></author><author><style face="normal" font="default" size="100%">José Proença</style></author><author><style face="normal" font="default" size="100%">Alexander Lazovik</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%">Channel-based coordination via constraint satisfaction</style></title><secondary-title><style face="normal" font="default" size="100%">Science of Computer Programming</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/joseproenca/files/channel-basedcoordinationviaconstraintsatisfaction.pdf</style></url></related-urls></urls><number><style face="normal" font="default" size="100%">8</style></number><volume><style face="normal" font="default" size="100%">76</style></volume><pages><style face="normal" font="default" size="100%">681–710</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, however, has been challenging due to interaction of the channel metaphor, which is an inherently local notion, and the non-local nature of the constraints imposed by composition. In this paper, the channel metaphor takes a back seat. We focus on the behavioural constraints imposed by the composition of primitives and phrase the semantics of Reo as a constraint satisfaction problem. Not only does this provide a clear description of the behaviour of Reo connectors in terms of synchronisation and data how constraints, it also paves the way for new implementation techniques based on constraint satisfaction. We also demonstrate that this approach is more ecient than existing techniques based on connector colouring.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">8</style></issue></record></records></xml>