<?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-00079676</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-16T11:19:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Synchronous Process Calculus for Service Costs</title>
            <author role="aut">
              <persName>
                <forename type="first">Siva</forename>
                <surname>Anantharaman</surname>
              </persName>
              <email type="md5">44108aa0db3e58eb1f9f84c985fc0916</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="numeric">833672</idno>
              <idno type="halauthorid" notation="string">146850-833672</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jing</forename>
                <surname>Chen</surname>
              </persName>
              <idno type="halauthorid">149114-0</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gaétan</forename>
                <surname>Hains</surname>
              </persName>
              <email type="md5">5ddae0597f03afe3bdf71a353addde87</email>
              <email type="domain">hains.org</email>
              <idno type="idhal" notation="string">gaetan-hains</idno>
              <idno type="idhal" notation="numeric">1237379</idno>
              <idno type="halauthorid" notation="string">106767-1237379</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1687-8091</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=KnGuLaoAAAAJ</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Siva</forename>
                <surname>Anantharaman</surname>
              </persName>
              <email type="md5">44108aa0db3e58eb1f9f84c985fc0916</email>
              <email type="domain">univ-orleans.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-06-13 14:18:04</date>
              <date type="whenModified">2025-08-12 15:30:12</date>
              <date type="whenReleased">2006-06-13 14:41:23</date>
              <date type="whenProduced">2005</date>
              <date type="whenEndEmbargoed">2006-06-13</date>
              <ref type="file" target="https://hal.science/hal-00079676v1/document">
                <date notBefore="2006-06-13"/>
              </ref>
              <ref type="file" n="1" target="https://hal.science/hal-00079676v1/file/SiJiHa-ServCostCalc.pdf" id="file-79676-712278">
                <date notBefore="2006-06-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="111190">
                <persName>
                  <forename>Siva</forename>
                  <surname>Anantharaman</surname>
                </persName>
                <email type="md5">44108aa0db3e58eb1f9f84c985fc0916</email>
                <email type="domain">univ-orleans.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00079676</idno>
            <idno type="halUri">https://hal.science/hal-00079676</idno>
            <idno type="halBibtex">anantharaman:hal-00079676</idno>
            <idno type="halRefHtml">&lt;i&gt;Software Engineering and Formal Methods (SEFM) 2005&lt;/i&gt;, 2005, Koblenz, Germany. pp.435--444</idno>
            <idno type="halRef">Software Engineering and Formal Methods (SEFM) 2005, 2005, Koblenz, Germany. pp.435--444</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-79676-712278"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
            <idno type="stamp" n="ENSI-BOURGES">Ecole Nationale Supérieure d'Ingénieurs de Bourges</idno>
            <idno type="stamp" n="MSL">Modelisation Systemes Langages</idno>
            <idno type="stamp" n="MSL-THESE">Modelisation Systemes Langages</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Article présenté au SEFM'05</note>
            <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">A Synchronous Process Calculus for Service Costs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Siva</forename>
                    <surname>Anantharaman</surname>
                  </persName>
                  <email type="md5">44108aa0db3e58eb1f9f84c985fc0916</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="numeric">833672</idno>
                  <idno type="halauthorid" notation="string">146850-833672</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jing</forename>
                    <surname>Chen</surname>
                  </persName>
                  <idno type="halauthorid">149114-0</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gaétan</forename>
                    <surname>Hains</surname>
                  </persName>
                  <email type="md5">5ddae0597f03afe3bdf71a353addde87</email>
                  <email type="domain">hains.org</email>
                  <idno type="idhal" notation="string">gaetan-hains</idno>
                  <idno type="idhal" notation="numeric">1237379</idno>
                  <idno type="halauthorid" notation="string">106767-1237379</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1687-8091</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=KnGuLaoAAAAJ</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the Int. Conference SEFM'2005</title>
                <meeting>
                  <title>Software Engineering and Formal Methods (SEFM) 2005</title>
                  <date type="start">2005</date>
                  <settlement>Koblenz</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint>
                  <publisher>IEEE Computer Society</publisher>
                  <biblScope unit="pp">435--444</biblScope>
                  <date type="datePub">2005</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">quality of service.</term>
                <term xml:lang="en">cost calculus</term>
                <term xml:lang="en">semi-ring</term>
                <term xml:lang="en">trace</term>
                <term xml:lang="en">bismulation</term>
                <term xml:lang="en">synchronization</term>
                <term xml:lang="en">process algebra</term>
                <term xml:lang="en">quality of service</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</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 present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply in this calculus, which in addition allows us to model naturally other notions such as service, and quality of service. They can be studied in an algebraic semi-ring setup using notions of cost on the transitions.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1625" status="OLD">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">1987-01-01</date>
          <date type="end">2013-12-31</date>
          <desc>
            <address>
              <addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA4022" active="#struct-300297" type="direct"/>
            <relation name="EA4022" active="#struct-300379" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300379" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>