<?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-01284220</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-23T03:23:09+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Quantitative Study of Pure Parallel Processes</title>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Bodini</surname>
              </persName>
              <email type="md5">2a27d79229428916aa7f9a934b2ccfe7</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">840186</idno>
              <idno type="halauthorid" notation="string">183892-840186</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1867-667X</idno>
              <affiliation ref="#struct-994"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antoine</forename>
                <surname>Genitrini</surname>
              </persName>
              <email type="md5">b04f9d15a460bdad6019bbd45c7a3ef7</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">antoinegenitrini</idno>
              <idno type="idhal" notation="numeric">881263</idno>
              <idno type="halauthorid" notation="string">500605-881263</idno>
              <idno type="IDREF">https://www.idref.fr/139245391</idno>
              <idno type="ISNI">http://isni.org/isni/0000000139952074</idno>
              <idno type="VIAF">https://viaf.org/viaf/187616094</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5480-0236</idno>
              <affiliation ref="#struct-391379"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fréderic</forename>
                <surname>Peschanski</surname>
              </persName>
              <idno type="halauthorid">469293-0</idno>
              <affiliation ref="#struct-391379"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Antoine</forename>
                <surname>Genitrini</surname>
              </persName>
              <email type="md5">b04f9d15a460bdad6019bbd45c7a3ef7</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2026-02-24 11:54:21</date>
              <date type="whenModified">2026-02-24 12:42:19</date>
              <date type="whenReleased">2026-02-24 12:42:19</date>
              <date type="whenProduced">2016</date>
              <date type="whenEndEmbargoed">2026-02-24</date>
              <ref type="file" target="https://hal.sorbonne-universite.fr/hal-01284220v1/document">
                <date notBefore="2026-02-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.sorbonne-universite.fr/hal-01284220v1/file/ejc2013-bogepe.pdf" id="file-5525239-4729494">
                <date notBefore="2026-02-24"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1407.1873"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="89385">
                <persName>
                  <forename>Antoine</forename>
                  <surname>Genitrini</surname>
                </persName>
                <email type="md5">b04f9d15a460bdad6019bbd45c7a3ef7</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01284220</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-01284220</idno>
            <idno type="halBibtex">bodini:hal-01284220</idno>
            <idno type="halRefHtml">&lt;i&gt;The Electronic Journal of Combinatorics&lt;/i&gt;, 2016, 23 (1), pp.P1.11</idno>
            <idno type="halRef">The Electronic Journal of Combinatorics, 2016, 23 (1), pp.P1.11</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5525239-4729494"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <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="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</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="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </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">A Quantitative Study of Pure Parallel Processes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Bodini</surname>
                  </persName>
                  <email type="md5">2a27d79229428916aa7f9a934b2ccfe7</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">840186</idno>
                  <idno type="halauthorid" notation="string">183892-840186</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1867-667X</idno>
                  <affiliation ref="#struct-994"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antoine</forename>
                    <surname>Genitrini</surname>
                  </persName>
                  <email type="md5">b04f9d15a460bdad6019bbd45c7a3ef7</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">antoinegenitrini</idno>
                  <idno type="idhal" notation="numeric">881263</idno>
                  <idno type="halauthorid" notation="string">500605-881263</idno>
                  <idno type="IDREF">https://www.idref.fr/139245391</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000139952074</idno>
                  <idno type="VIAF">https://viaf.org/viaf/187616094</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5480-0236</idno>
                  <affiliation ref="#struct-391379"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fréderic</forename>
                    <surname>Peschanski</surname>
                  </persName>
                  <idno type="halauthorid">469293-0</idno>
                  <affiliation ref="#struct-391379"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">746</idno>
                <idno type="eissn">1077-8926</idno>
                <title level="j">The Electronic Journal of Combinatorics</title>
                <imprint>
                  <publisher>Open Journal Systems</publisher>
                  <biblScope unit="volume">23</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">P1.11</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1407.1873</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Random Generation</term>
                <term xml:lang="en">Holonomic Functions</term>
                <term xml:lang="en">Increasing Trees</term>
                <term xml:lang="en">Analytic Combinatorics</term>
                <term xml:lang="en">Concurrency Theory</term>
                <term xml:lang="en">Interleaving Semantics</term>
                <term xml:lang="en">Pure Merge</term>
              </keywords>
              <classCode scheme="halDomain" n="math.math-co">Mathematics [math]/Combinatorics [math.CO]</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>In this paper, we study the interleaving – or pure merge – operator that most often characterizes parallelism in concurrency theory. This operator is a principal cause of the so-called combinatorial explosion that makes the analysis of process behaviours e.g. by model-checking, very hard – at least from the point of view of computational complexity. The originality of our approach is to study this combinatorial explosion phenomenon on average, relying on advanced analytic combinatorics techniques. We study various measures that contribute to a better understanding of the process behaviours represented as plane rooted trees: the number of runs (corresponding to the width of the trees), the expected total size of the trees as well as their overall shape. Two practical outcomes of our quantitative study are also presented: (1) a linear-time algorithm to compute the probability of a concurrent run prefix, and (2) an efficient algorithm for uniform random sampling of concurrent runs. These provide interesting responses to the combinatorial explosion problem.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-994" status="OLD">
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-391379" status="OLD">
          <orgName>Algorithmes, Programmes et Résolution</orgName>
          <orgName type="acronym">APR</orgName>
          <date type="start">2008-10-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/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-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>
      </listOrg>
    </back>
  </text>
</TEI>