<?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é Orlando Pereira</style></author><author><style face="normal" font="default" size="100%">Rui Oliveira</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Rewriting 'The Hare and the Turtle': Sleeping to Get There Faster</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 35th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (Supplemental Volume)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year><pub-dates><date><style  face="normal" font="default" size="100%">June</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/rco/files/hareturtle_jop.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><pub-location><style face="normal" font="default" size="100%">Yokohama</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;When developing algorithms for dependable distributed systems one often makes several simplifying assumptions that are essential to reason about the problem in hand. It is usual to assume an asynchronous system model, unconstrained system resources and the absence of easily maskable faults such as message loss. While most of the simplifications strengthen the model and are particularly useful when proving theoretical edge results, asynchrony, on the contrary, is a &quot;non-assumption&quot; and it is specially appealing in practice as it yields robust solutions that are correct regardless of the actual timing behavior of the target systems.&lt;/p&gt;
</style></abstract></record></records></xml>