<?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-00655577</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-20T16:34:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Proceedings 18th International Workshop on Expressiveness in Concurrency</title>
            <author role="sad">
              <persName>
                <forename type="first">Bas</forename>
                <surname>Luttik</surname>
              </persName>
              <email type="md5">c7bb4713fa01e16baa50be01d138e9dc</email>
              <email type="domain">tue.nl</email>
              <idno type="idhal" notation="numeric">916829</idno>
              <idno type="halauthorid" notation="string">606260-916829</idno>
              <affiliation ref="#struct-4629"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Frank D.</forename>
                <surname>Valencia</surname>
              </persName>
              <email type="md5">34d6027096bdd22dc1d11a2c8c8e90c1</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">frank-d-valencia</idno>
              <idno type="idhal" notation="numeric">1216777</idno>
              <idno type="halauthorid" notation="string">252690-1216777</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4827-9157</idno>
              <affiliation ref="#struct-2071"/>
              <affiliation ref="#struct-56040"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Frank D.</forename>
                <surname>Valencia</surname>
              </persName>
              <email type="md5">34d6027096bdd22dc1d11a2c8c8e90c1</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2011-12-31 01:17:54</date>
              <date type="whenWritten">2011-08-20</date>
              <date type="whenModified">2026-03-10 03:22:12</date>
              <date type="whenReleased">2011-12-31 01:17:54</date>
              <date type="whenProduced">2011-08-20</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1108.4077"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="157162">
                <persName>
                  <forename>Frank D.</forename>
                  <surname>Valencia</surname>
                </persName>
                <email type="md5">34d6027096bdd22dc1d11a2c8c8e90c1</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00655577</idno>
            <idno type="halUri">https://hal.science/hal-00655577</idno>
            <idno type="halBibtex">luttik:hal-00655577</idno>
            <idno type="halRefHtml">Bas Luttik and Frank Valencia. Open Publishing Association, 64, pp.1-131, 2011, Electronic Proceedings in Theoretical Computer Science, &lt;a target="_blank" href="https://dx.doi.org/10.4204/EPTCS.64"&gt;&amp;#x27E8;10.4204/EPTCS.64&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Bas Luttik and Frank Valencia. Open Publishing Association, 64, pp.1-131, 2011, Electronic Proceedings in Theoretical Computer Science, &amp;#x27E8;10.4204/EPTCS.64&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</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="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="LIX-COMETE" corresp="LIX">Comète</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</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="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Proceedings 18th International Workshop on Expressiveness in Concurrency</title>
                <author role="sad">
                  <persName>
                    <forename type="first">Bas</forename>
                    <surname>Luttik</surname>
                  </persName>
                  <email type="md5">c7bb4713fa01e16baa50be01d138e9dc</email>
                  <email type="domain">tue.nl</email>
                  <idno type="idhal" notation="numeric">916829</idno>
                  <idno type="halauthorid" notation="string">606260-916829</idno>
                  <affiliation ref="#struct-4629"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Frank D.</forename>
                    <surname>Valencia</surname>
                  </persName>
                  <email type="md5">34d6027096bdd22dc1d11a2c8c8e90c1</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">frank-d-valencia</idno>
                  <idno type="idhal" notation="numeric">1216777</idno>
                  <idno type="halauthorid" notation="string">252690-1216777</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4827-9157</idno>
                  <affiliation ref="#struct-2071"/>
                  <affiliation ref="#struct-56040"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <country key="FR">France</country>
                </meeting>
                <editor>Bas Luttik and Frank Valencia</editor>
                <imprint>
                  <publisher>Open Publishing Association</publisher>
                  <biblScope unit="serie">Electronic Proceedings in Theoretical Computer Science</biblScope>
                  <biblScope unit="volume">64</biblScope>
                  <biblScope unit="pp">1-131</biblScope>
                  <date type="datePub">2011-08-20</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1108.4077</idno>
              <idno type="doi">10.4204/EPTCS.64</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="classification">F.1.1; F.1.2; F.3.0; F.4.0</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halTypology" n="OUV">Books</classCode>
              <classCode scheme="halOldTypology" n="DOUV">Directions of work or proceedings</classCode>
              <classCode scheme="halTreeTypology" n="OUV">Books</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a satellite workshop of CONCUR 2011. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-4629" status="VALID">
          <idno type="IdRef">03247508X</idno>
          <idno type="ISNI">0000 0004 0398 8763</idno>
          <idno type="ROR">https://ror.org/02c2kyt77</idno>
          <idno type="Wikidata">Q280824</idno>
          <orgName>Eindhoven University of Technology [Eindhoven]</orgName>
          <orgName type="acronym">TU/e</orgName>
          <desc>
            <address>
              <addrLine>Technische Universiteit Eindhoven - Den Dolech 2 5612 AZ Eindhoven</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">https://www.tue.nl/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-56040" status="VALID">
          <idno type="RNSR">200818369L</idno>
          <idno type="ROR">https://ror.org/007h9pt55</idno>
          <orgName>Concurrency, Mobility and Transactions</orgName>
          <orgName type="acronym">COMETE</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2028-12-31</date>
          <desc>
            <address>
              <addrLine>Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France)</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/comete</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2071" type="direct"/>
            <relation active="#struct-300340" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1225635" type="direct"/>
            <relation active="#struct-118511" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.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="department" xml:id="struct-1225635" status="VALID">
          <idno type="ROR">https://ror.org/026839t73</idno>
          <orgName>Centre Inria de l'Institut Polytechnique de Paris</orgName>
          <date type="start">2022-11-01</date>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'Orves –Bâtiment Alan Turing –Campus de l'École Polytechnique –91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>