<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-011-10-1718</article-id>
      <article-id pub-id-type="publisher-id">28494</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>D.2 - SOFTWARE ENGINEERING</subject>
          <subject>F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES</subject>
          <subject>G.3 - PROBABILITY AND STATISTICS</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Probabilistic Models for Reo Connector Circuits</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Baier</surname>
            <given-names>Christel</given-names>
          </name>
          <email xlink:type="simple">baier@cs.uni-bonn.de</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Institut fur Informatik I, University Bonn, , Germany</addr-line>
        <institution>Institut fur Informatik I, University Bonn</institution>
        <country>Germany</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Christel Baier (<email xlink:type="simple">baier@cs.uni-bonn.de</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2005</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>10</month>
        <year>2005</year>
      </pub-date>
      <volume>11</volume>
      <issue>10</issue>
      <fpage>1718</fpage>
      <lpage>1748</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/E500E30C-987B-57A7-A026-C05391EFC38B">E500E30C-987B-57A7-A026-C05391EFC38B</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6996875">6996875</uri>
      <permissions>
        <copyright-statement>Christel Baier</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Constraint automata have been used as an operational model for Reo which offers a channel-based framework to compose complex component connectors. In this paper, we introduce a variant of constraint automata with discrete probabilities and nondeterminism, called probabilistic constraint automata. These can serve for compositional reasoning about connector components, modelled by Reo circuits with unreliable channels, e.g., that might lose or corrupt messages, or channels with random output values that, e.g., can be helpful to model randomized coordination principles.</p>
      </abstract>
    </article-meta>
  </front>
</article>
