<?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-01528735</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-21T05:57:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Analysis of May-Happen-in-Parallel in Concurrent Objects</title>
            <author role="aut">
              <persName>
                <forename type="first">Elvira</forename>
                <surname>Albert</surname>
              </persName>
              <idno type="halauthorid">479773-0</idno>
              <affiliation ref="#struct-48181"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antonio</forename>
                <forename type="middle">E.</forename>
                <surname>Flores-Montoya</surname>
              </persName>
              <idno type="halauthorid">1165062-0</idno>
              <affiliation ref="#struct-48181"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Samir</forename>
                <surname>Genaim</surname>
              </persName>
              <idno type="halauthorid">1165063-0</idno>
              <affiliation ref="#struct-48181"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-05-29 15:53:59</date>
              <date type="whenModified">2025-04-14 14:24:03</date>
              <date type="whenReleased">2017-05-29 15:55:35</date>
              <date type="whenProduced">2012-06-13</date>
              <date type="whenEndEmbargoed">2015-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01528735v1/document">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01528735v1/file/978-3-642-30793-5_3_Chapter.pdf" id="file-1528735-1590232">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_3.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01528735</idno>
            <idno type="halUri">https://inria.hal.science/hal-01528735</idno>
            <idno type="halBibtex">albert:hal-01528735</idno>
            <idno type="halRefHtml">&lt;i&gt;14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)&lt;/i&gt;, Jun 2012, Stockholm, Sweden. pp.35-51, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-30793-5_3"&gt;&amp;#x27E8;10.1007/978-3-642-30793-5_3&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.35-51, &amp;#x27E8;10.1007/978-3-642-30793-5_3&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1528735-1590232"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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-FORTE">IFIP-FORTE</idno>
            <idno type="stamp" n="IFIP-FMOODS"> Formal Methods for Open Object-Based Distributed Systems</idno>
            <idno type="stamp" n="IFIP-LNCS-7273" corresp="IFIP-LNCS">Formal Techniques for Distributed Systems</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">Analysis of May-Happen-in-Parallel in Concurrent Objects</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Elvira</forename>
                    <surname>Albert</surname>
                  </persName>
                  <idno type="halauthorid">479773-0</idno>
                  <affiliation ref="#struct-48181"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antonio</forename>
                    <forename type="middle">E.</forename>
                    <surname>Flores-Montoya</surname>
                  </persName>
                  <idno type="halauthorid">1165062-0</idno>
                  <affiliation ref="#struct-48181"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Samir</forename>
                    <surname>Genaim</surname>
                  </persName>
                  <idno type="halauthorid">1165063-0</idno>
                  <affiliation ref="#struct-48181"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)</title>
                  <date type="start">2012-06-13</date>
                  <date type="end">2012-06-16</date>
                  <settlement>Stockholm</settlement>
                  <country key="SE">Sweden</country>
                </meeting>
                <editor>Holger Giese</editor>
                <editor>Grigore Rosu</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Formal Techniques for Distributed Systems</biblScope>
                  <biblScope unit="volume">LNCS-7273</biblScope>
                  <biblScope unit="pp">35-51</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-30793-5_3</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</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>This paper presents a may-happen-in-parallel (MHP) analysis for OO languages based on concurrent objects. In this concurrency model, objects are the concurrency units such that, when a method is invoked on an object o2 from a task executing on object o1, statements of the current task in o1 may run in parallel with those of the (asynchronous) call on o2, and with those of transitively invoked methods. The goal of the MHP analysis is to identify pairs of statements in the program that may run in parallel in any execution. Our MHP analysis is formalized as a method-level (local) analysis whose information can be modularly composed to obtain application-level (global) information.</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="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>