<?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-00546531v2</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-21T18:05:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Fair Subtyping for Multi-Party Session Types</title>
            <author role="crp">
              <persName>
                <forename type="first">Luca</forename>
                <surname>Padovani</surname>
              </persName>
              <email type="md5">1a7fc46e5acc332dfb81233630282516</email>
              <email type="domain">di.unito.it</email>
              <idno type="idhal" notation="numeric">885003</idno>
              <idno type="halauthorid" notation="string">210107-885003</idno>
              <affiliation ref="#struct-1067"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Luca</forename>
                <surname>Padovani</surname>
              </persName>
              <email type="md5">bde28556d59cfb5bc26ed5f0f92455c2</email>
              <email type="domain">unibo.it</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2010-12-14 13:11:23</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2010-12-26 14:01:21</date>
              <date type="whenWritten">2010-12-26</date>
              <date type="whenModified">2023-03-24 14:52:54</date>
              <date type="whenReleased">2010-12-26 17:43:27</date>
              <date type="whenProduced">2011-06-06</date>
              <date type="whenEndEmbargoed">2010-12-26</date>
              <ref type="file" target="https://hal.science/hal-00546531v2/document">
                <date notBefore="2010-12-26"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00546531v2/file/main.pdf" id="file-550319-520934">
                <date notBefore="2010-12-26"/>
              </ref>
              <ref type="externalLink" target="https://iris.unito.it/retrieve/handle/2318/154509/27350/FairSubtypingLong.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="157256">
                <persName>
                  <forename>Luca</forename>
                  <surname>Padovani</surname>
                </persName>
                <email type="md5">bde28556d59cfb5bc26ed5f0f92455c2</email>
                <email type="domain">unibo.it</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00546531</idno>
            <idno type="halUri">https://hal.science/hal-00546531</idno>
            <idno type="halBibtex">padovani:hal-00546531</idno>
            <idno type="halRefHtml">&lt;i&gt;13th Conference on Coordination Models and Languages (COORDINATION)&lt;/i&gt;, Jun 2011, Reykjavik, Iceland. pp.127-141, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-21464-6_9"&gt;&amp;#x27E8;10.1007/978-3-642-21464-6_9&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, &amp;#x27E8;10.1007/978-3-642-21464-6_9&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-550319-520934"/></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="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-COORDINATION" corresp="IFIP">COORDINATION: Conference on Coordination Models and Languages</idno>
            <idno type="stamp" n="IFIP-LNCS-6721" corresp="IFIP-LNCS">Coordination Models and Languages</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</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">Fair Subtyping for Multi-Party Session Types</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Luca</forename>
                    <surname>Padovani</surname>
                  </persName>
                  <email type="md5">1a7fc46e5acc332dfb81233630282516</email>
                  <email type="domain">di.unito.it</email>
                  <idno type="idhal" notation="numeric">885003</idno>
                  <idno type="halauthorid" notation="string">210107-885003</idno>
                  <affiliation ref="#struct-1067"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>13th Conference on Coordination Models and Languages (COORDINATION)</title>
                  <date type="start">2011-06-06</date>
                  <date type="end">2011-06-09</date>
                  <settlement>Reykjavik</settlement>
                  <country key="IS">Iceland</country>
                </meeting>
                <editor>Wolfgang Meuter</editor>
                <editor>Gruia-Catalin Roman</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-6721</biblScope>
                  <biblScope unit="pp">127-141</biblScope>
                  <date type="datePub">2011-06-07</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-21464-6_9</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">liveness properties</term>
                <term xml:lang="en">session types</term>
                <term xml:lang="en">Subtyping</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</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>We study a theory of session types in which we add a liveness property to the familiar safety one. In this setting, some subtype relations between session types that hold in other theories and that are commonly regarded as harmless become unsound. We present various equivalent definitions of the subtyping relation, we relate it with the standard ones, and we give algorithms for deciding it. Incidentally, we provide an original and remarkably simple coinductive characterization of the fair testing preorder for nondeterministic, sequential processes consisting of internal choices of outputs and external choices of inputs.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </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-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>