<?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-00350211</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-25T09:30:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Projective topology on bifinite domains and applications</title>
            <author role="aut">
              <persName>
                <forename type="first">Samy</forename>
                <surname>Abbes</surname>
              </persName>
              <email type="md5">12ba89ecd07fabfa034266fc99db1998</email>
              <email type="domain">irif.fr</email>
              <idno type="idhal" notation="string">saabbes</idno>
              <idno type="idhal" notation="numeric">10592</idno>
              <idno type="halauthorid" notation="string">25756-10592</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3382-3647</idno>
              <idno type="IDREF">https://www.idref.fr/081160399</idno>
              <affiliation ref="#struct-1067"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Klaus</forename>
                <surname>Keimel</surname>
              </persName>
              <idno type="halauthorid">371529-0</idno>
              <affiliation ref="#struct-300723"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Samy</forename>
                <surname>Abbes</surname>
              </persName>
              <email type="md5">12ba89ecd07fabfa034266fc99db1998</email>
              <email type="domain">irif.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-01-06 11:16:57</date>
              <date type="whenWritten">2006</date>
              <date type="whenModified">2025-11-21 14:42:02</date>
              <date type="whenReleased">2009-01-06 11:18:54</date>
              <date type="whenProduced">2006</date>
              <date type="whenEndEmbargoed">2009-01-06</date>
              <ref type="file" target="https://hal.science/hal-00350211v1/document">
                <date notBefore="2009-01-06"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00350211v1/file/abbeskeimel06.pdf" id="file-350211-358174">
                <date notBefore="2009-01-06"/>
              </ref>
              <ref type="externalLink" target="https://doi.org/10.1016/j.tcs.2006.07.047"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="127066">
                <persName>
                  <forename>Samy</forename>
                  <surname>Abbes</surname>
                </persName>
                <email type="md5">12ba89ecd07fabfa034266fc99db1998</email>
                <email type="domain">irif.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00350211</idno>
            <idno type="halUri">https://hal.science/hal-00350211</idno>
            <idno type="halBibtex">abbes:hal-00350211</idno>
            <idno type="halRefHtml">&lt;i&gt;Theoretical Computer Science&lt;/i&gt;, 2006, 365 (3), pp.171-183. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.tcs.2006.07.047"&gt;&amp;#x27E8;10.1016/j.tcs.2006.07.047&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Theoretical Computer Science, 2006, 365 (3), pp.171-183. &amp;#x27E8;10.1016/j.tcs.2006.07.047&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-350211-358174"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS7" corresp="UNIV-PARIS">Université Denis Diderot - Paris VII</idno>
            <idno type="stamp" n="PPS">Laboratoire Preuves, Programmes et Systèmes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</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">Projective topology on bifinite domains and applications</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Samy</forename>
                    <surname>Abbes</surname>
                  </persName>
                  <email type="md5">12ba89ecd07fabfa034266fc99db1998</email>
                  <email type="domain">irif.fr</email>
                  <idno type="idhal" notation="string">saabbes</idno>
                  <idno type="idhal" notation="numeric">10592</idno>
                  <idno type="halauthorid" notation="string">25756-10592</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3382-3647</idno>
                  <idno type="IDREF">https://www.idref.fr/081160399</idno>
                  <affiliation ref="#struct-1067"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Klaus</forename>
                    <surname>Keimel</surname>
                  </persName>
                  <idno type="halauthorid">371529-0</idno>
                  <affiliation ref="#struct-300723"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">19594</idno>
                <idno type="issn">0304-3975</idno>
                <idno type="eissn">1879-2294</idno>
                <title level="j">Theoretical Computer Science</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">365</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">171-183</biblScope>
                  <date type="datePub">2006</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.tcs.2006.07.047</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">Bifinite domains</term>
                <term xml:lang="fr">Continuous valuations</term>
                <term xml:lang="fr">Radon measures</term>
                <term xml:lang="fr">Maximal elements</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</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 revisit extension results from continuous valuations to Radon measures for bifinite domains. In the framework of bifinite domains, the Prokhorov theorem (existence of projective limits of Radon measures) appears as a natural tool, and helps building a bridge between Measure theory and Domain theory. The study we present also fills a gap in the literature concerning the coincidence between projective and Lawson topology for bifinite domains. Motivated by probabilistic considerations, we study the extension of measures in order to define Borel measures on the space of maximal elements of a bifinite domain.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1067" status="OLD">
          <orgName>Preuves, Programmes et Systèmes</orgName>
          <orgName type="acronym">PPS</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.pps.univ-paris-diderot.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300301" type="direct"/>
            <relation name="UMR7126" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300723" status="VALID">
          <orgName>Technische Universität Darmstadt - Technical University of Darmstadt [Darmstadt]</orgName>
          <orgName type="acronym">TU Darmstadt</orgName>
          <desc>
            <address>
              <addrLine>Karolinenplatz 5, 64289 Darmstadt</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.tu-darmstadt.de/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300301" status="OLD">
          <idno type="IdRef">027542084</idno>
          <idno type="ISNI">0000000121514068</idno>
          <idno type="ROR">https://ror.org/02n7qrg46</idno>
          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris-diderot.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>
      </listOrg>
    </back>
  </text>
</TEI>