<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02981573</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-25T03:04:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links</title>
            <author role="aut">
              <persName>
                <forename type="first">Lélia</forename>
                <surname>Blin</surname>
              </persName>
              <email type="md5">acce45e2496c18fbf7bbe2439101f92f</email>
              <email type="domain">irif.fr</email>
              <idno type="idhal" notation="string">lelia-blin</idno>
              <idno type="idhal" notation="numeric">1596</idno>
              <idno type="halauthorid" notation="string">20241-1596</idno>
              <idno type="IDREF">https://www.idref.fr/050451774</idno>
              <idno type="VIAF">https://viaf.org/viaf/74012268</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0342-9243</idno>
              <idno type="ISNI">http://isni.org/isni/0000000001406425</idno>
              <affiliation ref="#struct-541705"/>
              <affiliation ref="#struct-300306"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anaïs</forename>
                <surname>Durand</surname>
              </persName>
              <email type="md5">4946994750e8dcce300fa65e93b8b338</email>
              <email type="domain">uca.fr</email>
              <idno type="idhal" notation="string">anais-durand</idno>
              <idno type="idhal" notation="numeric">179424</idno>
              <idno type="halauthorid" notation="string">23993-179424</idno>
              <idno type="IDREF">https://www.idref.fr/223419761</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4680-5851</idno>
              <affiliation ref="#struct-422708"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sébastien</forename>
                <surname>Tixeuil</surname>
              </persName>
              <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">tixeuil</idno>
              <idno type="idhal" notation="numeric">9380</idno>
              <idno type="halauthorid" notation="string">5657-9380</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0948-7172</idno>
              <idno type="IDREF">https://www.idref.fr/121380661</idno>
              <orgName ref="#struct-93591"/>
              <affiliation ref="#struct-541705"/>
              <affiliation ref="#struct-541966"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sébastien</forename>
                <surname>Tixeuil</surname>
              </persName>
              <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-10-28 09:56:23</date>
              <date type="whenModified">2026-02-07 05:20:11</date>
              <date type="whenReleased">2020-10-29 10:57:10</date>
              <date type="whenProduced">2020-10-28</date>
              <date type="whenEndEmbargoed">2020-10-28</date>
              <ref type="file" target="https://hal.sorbonne-universite.fr/hal-02981573v1/document">
                <date notBefore="2020-10-28"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.sorbonne-universite.fr/hal-02981573v1/file/2002.05382.pdf" id="file-2981573-2626641">
                <date notBefore="2020-10-28"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2002.05382"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103492">
                <persName>
                  <forename>Sébastien</forename>
                  <surname>Tixeuil</surname>
                </persName>
                <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02981573</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-02981573</idno>
            <idno type="halBibtex">blin:hal-02981573</idno>
            <idno type="halRefHtml">2020</idno>
            <idno type="halRef">2020</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2981573-2626641"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="PRES_CLERMONT">Université de Clermont</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-EVRY">Université d'Evry-Val d'Essonne</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-EVRY-SACLAY" corresp="UNIV-PARIS-SACLAY">UNIV-EVRY-SACLAY</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="SPRES">Séminaires Parisiens en Réseaux</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Lélia</forename>
                    <surname>Blin</surname>
                  </persName>
                  <email type="md5">acce45e2496c18fbf7bbe2439101f92f</email>
                  <email type="domain">irif.fr</email>
                  <idno type="idhal" notation="string">lelia-blin</idno>
                  <idno type="idhal" notation="numeric">1596</idno>
                  <idno type="halauthorid" notation="string">20241-1596</idno>
                  <idno type="IDREF">https://www.idref.fr/050451774</idno>
                  <idno type="VIAF">https://viaf.org/viaf/74012268</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0342-9243</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000001406425</idno>
                  <affiliation ref="#struct-541705"/>
                  <affiliation ref="#struct-300306"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anaïs</forename>
                    <surname>Durand</surname>
                  </persName>
                  <email type="md5">4946994750e8dcce300fa65e93b8b338</email>
                  <email type="domain">uca.fr</email>
                  <idno type="idhal" notation="string">anais-durand</idno>
                  <idno type="idhal" notation="numeric">179424</idno>
                  <idno type="halauthorid" notation="string">23993-179424</idno>
                  <idno type="IDREF">https://www.idref.fr/223419761</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4680-5851</idno>
                  <affiliation ref="#struct-422708"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sébastien</forename>
                    <surname>Tixeuil</surname>
                  </persName>
                  <email type="md5">46fb30964edb44afa6b5deecf5f673eb</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">tixeuil</idno>
                  <idno type="idhal" notation="numeric">9380</idno>
                  <idno type="halauthorid" notation="string">5657-9380</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0948-7172</idno>
                  <idno type="IDREF">https://www.idref.fr/121380661</idno>
                  <orgName ref="#struct-93591"/>
                  <affiliation ref="#struct-541705"/>
                  <affiliation ref="#struct-541966"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">2002.05382</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">and phrases Self-stabilizing algorithm</term>
                <term xml:lang="en">message passing</term>
                <term xml:lang="en">unbounded capacity commu- nication</term>
                <term xml:lang="en">nodes coloring</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Self-stabilizing protocols enable distributed systems to recover correct behavior starting from any arbitrary configuration. In particular, when processors communicate by message passing, fake messages may be placed in communication links by an adversary. When the number of such fake messages is unknown, self-stabilization may require huge resources: generic solutions (a.k.a. data link protocols) require unbounded resources, which makes them unrealistic to deploy, specific solutions (e.g., census or tree construction) require O(n log n) or O(∆ log n) bits of memory per node, where n denotes the network size and ∆ its maximum degree, which may prevent scalability. We investigate the possibility of resource efficient self-stabilizing protocols in this context. Specifically, we present a self-stabilizing protocol for (∆+1)-coloring in any n-node graph, under the asynchronous message-passing model. The problem of (∆+1)-coloring is considered a benchmarking problem for local tasks. Our protocol offers many desirable features. It is deterministic, it converges in O(k∆n^2 log n) message exchanges, where k is the bound of the link capacity in terms of number of messages, and it uses messages on O(log log n+log ∆) bits with a memory of O(∆ log ∆+log log n) bits at each node. The resource consumption of our protocol is thus almost oblivious to the number of nodes, enabling scalability. Moreover, a striking property of our protocol is that the nodes do not need to know the number, or any bound on the number of messages initially present in each communication link of the initial (potentially corrupted) network configuration. This permits our protocol to handle any future network with unknown message capacity communication links. A key building block of our coloring scheme is a spanning directed acyclic graph construction, that is of independent interest, and can serve as a useful tool for solving other tasks in this challenging setting.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541705" status="VALID">
          <orgName>Networks and Performance Analysis</orgName>
          <orgName type="acronym">NPA</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300306" status="VALID">
          <idno type="IdRef">030820529</idno>
          <idno type="ISNI">0000000121805818</idno>
          <idno type="ROR">https://ror.org/00e96v939</idno>
          <idno type="Wikidata">Q1531014</idno>
          <orgName>Université d'Évry-Val-d'Essonne</orgName>
          <orgName type="acronym">UEVE</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>Boulevard François Mitterrand 91025 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-evry.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-422708" status="OLD">
          <idno type="IdRef">196200032</idno>
          <idno type="ROR">https://ror.org/01a8ajp46</idno>
          <orgName>Université Clermont Auvergne [2017-2020]</orgName>
          <orgName type="acronym">UCA  [2017-2020]</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>49, bd François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uca.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-541966" status="VALID">
          <orgName>Laboratory of Information, Network and Communication Sciences</orgName>
          <orgName type="acronym">LINCS</orgName>
          <desc>
            <address>
              <addrLine>23 avenue d'Italie 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lincs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-413221" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>