<?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-01336216</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-03T17:15:01+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Conflict Managers for Self-stabilization without Fairness Assumption</title>
            <author role="aut">
              <persName>
                <forename type="first">Maria</forename>
                <surname>Gradinariu</surname>
              </persName>
              <email type="md5">574e9e606d52567225fb1793a5155253</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">841868</idno>
              <idno type="halauthorid" notation="string">105448-841868</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6488-8326</idno>
              <idno type="IDREF">https://www.idref.fr/157868869</idno>
              <idno type="VIAF">https://viaf.org/viaf/313539623</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/FRU-0557-2022</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/FRU-0557-2022</idno>
              <affiliation ref="#struct-2436"/>
            </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>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lip6</forename>
                <surname>Publications</surname>
              </persName>
              <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-06-22 17:03:09</date>
              <date type="whenModified">2025-02-26 15:24:03</date>
              <date type="whenReleased">2016-06-22 17:03:09</date>
              <date type="whenProduced">2007-06</date>
              <ref type="externalLink" target="https://www.lri.fr/~bibli/Rapports-internes/2006/RR1459old.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="196566">
                <persName>
                  <forename>Lip6</forename>
                  <surname>Publications</surname>
                </persName>
                <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01336216</idno>
            <idno type="halUri">https://hal.science/hal-01336216</idno>
            <idno type="halBibtex">gradinariu:hal-01336216</idno>
            <idno type="halRefHtml">&lt;i&gt;27th International Conference on Distributed Computing Systems (ICDCS'07)&lt;/i&gt;, Jun 2007, Toronto, Canada. pp.46, &lt;a target="_blank" href="https://dx.doi.org/10.1109/ICDCS.2007.95"&gt;&amp;#x27E8;10.1109/ICDCS.2007.95&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, &amp;#x27E8;10.1109/ICDCS.2007.95&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Conflict Managers for Self-stabilization without Fairness Assumption</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Maria</forename>
                    <surname>Gradinariu</surname>
                  </persName>
                  <email type="md5">574e9e606d52567225fb1793a5155253</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">841868</idno>
                  <idno type="halauthorid" notation="string">105448-841868</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6488-8326</idno>
                  <idno type="IDREF">https://www.idref.fr/157868869</idno>
                  <idno type="VIAF">https://viaf.org/viaf/313539623</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/FRU-0557-2022</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/FRU-0557-2022</idno>
                  <affiliation ref="#struct-2436"/>
                </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>
                </author>
              </analytic>
              <monogr>
                <title level="m">27th International Conference on Distributed Computing Systems (ICDCS'07)</title>
                <meeting>
                  <title>27th International Conference on Distributed Computing Systems (ICDCS'07)</title>
                  <date type="start">2007-06</date>
                  <settlement>Toronto</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="pp">46</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/ICDCS.2007.95</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we specify the conflict manager abstraction. Informally, a conflict manager guarantees that any two nodes that are in conflict cannot enter their critical section simultaneously (safety), and that at least one node is able to execute its critical section (progress). The conflict manager problem is strictly weaker than the classical local mutual exclusion problem, where any node that requests to enter its critical section eventually does so (fairness). We argue that conflict managers are a useful mechanism to transform a large class of self-stabilizing algorithms that operate in an essentially sequential model, into self-stabilizing algorithm that operate in a completely asynchronous distributed model. We provide two implementations (one deterministic and one probabilistic) of our abstraction, and provide a composition mechanism to obtain a generic transformer. Our transformers have low overhead: the deterministic transformer requires one memory bit, and guarantees time overhead in order of the network degree, the probabilistic transformer does not require extra memory. While the probabilistic algorithm performs in anonymous networks, it only provides probabilistic stabilization guarantees. In contrast, the deterministic transformer requires initial symmetry breaking but preserves the original algorithm guarantees.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2436" status="OLD">
          <idno type="RNSR">200518313N</idno>
          <orgName>Large-Scale Distributed Systems and Applications</orgName>
          <orgName type="acronym">Regal</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/teams/regal</ref>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
            <relation active="#struct-86790" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</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-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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="laboratory" xml:id="struct-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>