<?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%">Luis Soares Barbosa</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">António Cerone</style></author><author><style face="normal" font="default" size="100%">Paul Curzon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a coordination model for interactive systems</style></title><secondary-title><style face="normal" font="default" size="100%">Electronic Notes in Theorectical Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jccampos/files/bbc06_lsb.pdf</style></url></related-urls></urls><number><style face="normal" font="default" size="100%">183: Proceedings of the First International Workshop in Formal Methods for Interactive Systems (FMIS 2006)</style></number><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">73-88</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors present in the user interface model into a coherent system. In this paper we investigate an alternative approach to the composition of interactors for the specification of complex interactive systems which is based on the coordination paradigm. We layout the fundations for the work and present an illustrative example. Lines for future work are identified.&lt;/p&gt;
</style></abstract></record></records></xml>