<?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-00925762</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-25T00:26:43+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Ordinal Theory for Expressiveness of Well-Structured Transition Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Rémi</forename>
                <surname>Bonnet</surname>
              </persName>
              <idno type="halauthorid">652195-0</idno>
              <affiliation ref="#struct-2571"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alain</forename>
                <surname>Finkel</surname>
              </persName>
              <email type="md5">f8adebb19b378e415fb1a443ef50878e</email>
              <email type="domain">ens-paris-saclay.fr</email>
              <idno type="idhal" notation="string">alain-finkel</idno>
              <idno type="idhal" notation="numeric">13941</idno>
              <idno type="halauthorid" notation="string">8162-13941</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0702-3232</idno>
              <idno type="IDREF">https://www.idref.fr/031087140</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2482-6141</idno>
              <idno type="VIAF">https://viaf.org/viaf/101593837</idno>
              <idno type="ISNI">http://isni.org/isni/0000000117775660</idno>
              <affiliation ref="#struct-2571"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Serge</forename>
                <surname>Haddad</surname>
              </persName>
              <email type="md5">52e3e614b453b4f4234f21c3d03650dd</email>
              <email type="domain">lsv.fr</email>
              <idno type="idhal" notation="string">serge-haddad</idno>
              <idno type="idhal" notation="numeric">745039</idno>
              <idno type="halauthorid" notation="string">51212-745039</idno>
              <idno type="IDREF">https://www.idref.fr/032657501</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1759-1201</idno>
              <idno type="VIAF">https://viaf.org/viaf/226400758</idno>
              <idno type="ISNI">http://isni.org/isni/0000000363340427</idno>
              <affiliation ref="#struct-2571"/>
              <affiliation ref="#struct-157663"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fernando</forename>
                <surname>Rosa-Velardo</surname>
              </persName>
              <idno type="halauthorid">790041-0</idno>
              <affiliation ref="#struct-97983"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Benedikt</forename>
                <surname>Bollig</surname>
              </persName>
              <email type="md5">1c0a7efe9c2eb5ebc80416caa8707f4c</email>
              <email type="domain">lmf.cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-01-08 15:11:12</date>
              <date type="whenModified">2025-04-14 14:24:03</date>
              <date type="whenReleased">2014-01-08 15:11:12</date>
              <date type="whenProduced">2013</date>
              <ref type="externalLink" target="https://doi.org/10.1016/j.ic.2012.11.003"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="157716">
                <persName>
                  <forename>Benedikt</forename>
                  <surname>Bollig</surname>
                </persName>
                <email type="md5">1c0a7efe9c2eb5ebc80416caa8707f4c</email>
                <email type="domain">lmf.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00925762</idno>
            <idno type="halUri">https://hal.science/hal-00925762</idno>
            <idno type="halBibtex">bonnet:hal-00925762</idno>
            <idno type="halRefHtml">&lt;i&gt;Information and Computation&lt;/i&gt;, 2013, 224, pp.1-22. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.ic.2012.11.003"&gt;&amp;#x27E8;10.1016/j.ic.2012.11.003&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Information and Computation, 2013, 224, pp.1-22. &amp;#x27E8;10.1016/j.ic.2012.11.003&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <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="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</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="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LSV-AUTO">Laboratoire Spécification et Vérification</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Ordinal Theory for Expressiveness of Well-Structured Transition Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rémi</forename>
                    <surname>Bonnet</surname>
                  </persName>
                  <idno type="halauthorid">652195-0</idno>
                  <affiliation ref="#struct-2571"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alain</forename>
                    <surname>Finkel</surname>
                  </persName>
                  <email type="md5">f8adebb19b378e415fb1a443ef50878e</email>
                  <email type="domain">ens-paris-saclay.fr</email>
                  <idno type="idhal" notation="string">alain-finkel</idno>
                  <idno type="idhal" notation="numeric">13941</idno>
                  <idno type="halauthorid" notation="string">8162-13941</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0702-3232</idno>
                  <idno type="IDREF">https://www.idref.fr/031087140</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2482-6141</idno>
                  <idno type="VIAF">https://viaf.org/viaf/101593837</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000117775660</idno>
                  <affiliation ref="#struct-2571"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Serge</forename>
                    <surname>Haddad</surname>
                  </persName>
                  <email type="md5">52e3e614b453b4f4234f21c3d03650dd</email>
                  <email type="domain">lsv.fr</email>
                  <idno type="idhal" notation="string">serge-haddad</idno>
                  <idno type="idhal" notation="numeric">745039</idno>
                  <idno type="halauthorid" notation="string">51212-745039</idno>
                  <idno type="IDREF">https://www.idref.fr/032657501</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1759-1201</idno>
                  <idno type="VIAF">https://viaf.org/viaf/226400758</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000363340427</idno>
                  <affiliation ref="#struct-2571"/>
                  <affiliation ref="#struct-157663"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fernando</forename>
                    <surname>Rosa-Velardo</surname>
                  </persName>
                  <idno type="halauthorid">790041-0</idno>
                  <affiliation ref="#struct-97983"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">14180</idno>
                <idno type="issn">0890-5401</idno>
                <idno type="eissn">1090-2651</idno>
                <title level="j">Information and Computation</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">224</biblScope>
                  <biblScope unit="pp">1-22</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.ic.2012.11.003</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We characterize the importance of resources (like counters, channels, or alphabets) when measuring the expressiveness of Well-Structured Transition Systems (WSTS). We establish, for usual classes of well partial orders, the equivalence between the existence of order reflections (non-monotonic order embeddings) and the simulations with respect to coverability languages. We show that the non-existence of order reflections can be proved by the computation of order types. This allows us to extend the current classification of WSTS, in particular solving some open problems, and to unify the existing proofs.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-2571" status="OLD">
          <orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
          <orgName type="acronym">LSV</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsv.ens-cachan.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6862" type="direct"/>
            <relation name="UMR8643" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-157663" status="OLD">
          <idno type="RNSR">200920937Y</idno>
          <orgName>Modeling and Exploitation of Interaction and Concurrency</orgName>
          <orgName type="acronym">MEXICO</orgName>
          <date type="start">2009-03-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LSV, ENS Cachan 61 av président Wilson 94235 Cachan cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/mexico</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2571" type="direct"/>
            <relation active="#struct-6862" type="indirect"/>
            <relation name="UMR8643" active="#struct-441569" type="indirect"/>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-97983" status="VALID">
          <orgName>Facultad de Informatica</orgName>
          <desc>
            <address>
              <country key="ES"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-48181" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6862" status="VALID">
          <orgName>École normale supérieure - Cachan</orgName>
          <orgName type="acronym">ENS Cachan</orgName>
          <desc>
            <address>
              <addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-cachan.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-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</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>
        <org type="institution" xml:id="struct-48181" status="VALID">
          <idno type="ROR">https://ror.org/02p0gd045</idno>
          <orgName>Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid]</orgName>
          <orgName type="acronym">UCM</orgName>
          <date type="start">2016-11-23</date>
          <desc>
            <address>
              <addrLine>Avda. de Séneca, 2, Ciudad Universitaria, 28040 Madrid</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">https://www.ucm.es/english</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>