<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Simon Bliudze</style></author><author><style face="normal" font="default" size="100%">Roberto Bruni</style></author><author><style face="normal" font="default" size="100%">Roberto Bruni</style></author><author><style face="normal" font="default" size="100%">Marco Carbone</style></author><author><style face="normal" font="default" size="100%">Alexandra Silva</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards Interaction Reliability in Concurrent Applications</style></title><secondary-title><style face="normal" font="default" size="100%">Scientific Annals of Computer Science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Scientific Annals of Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/xana/files/xxii1_0.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">1</style></publisher><pub-location><style face="normal" font="default" size="100%">University of Iasi, Romania</style></pub-location><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">1-4</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Developing trustworthy concurrent applications is a seemingly never ending quest, which is necessary but dicult. It is necessary because mainstream systems and applications are inherently concurrent and they are pervasive to our daily life activities. It is dicult because such systems are inherently interactive and heterogeneous, so that boundaries can hardly be established for studying subsystems in isolation.&lt;br /&gt;
Formal methods are a key instrument in resolving ambiguities and design reliable applications in a rigorous way. The authors overview major problems in the application of formal methods and outline how they are tackled by the papers collected in this volume.&lt;/p&gt;
</style></abstract></record></records></xml>