<?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-006-01-0112</article-id>
      <article-id pub-id-type="publisher-id">27636</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.3.2 - Semantics of Programming Languages</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Mixed Relations as Enriched Semiringal Categories</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Grosu</surname>
            <given-names>Radu</given-names>
          </name>
          <email xlink:type="simple">grosu@saul.cis.upenn.edu</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Lucanu</surname>
            <given-names>Dorel</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Stefanescu</surname>
            <given-names>Gheorghe</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">School for EECS, University of Pennsylvania, , United States of America</addr-line>
        <institution>School for EECS, University of Pennsylvania</institution>
        <country>United States of America</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Faculty of Computer Science, A.I.Cuza University, Iasi, Romania</addr-line>
        <institution>Faculty of Computer Science, A.I.Cuza University</institution>
        <addr-line content-type="city">Iasi</addr-line>
        <country>Romania</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">Fundamentals of Computer Science, University of Bucharest, Bucharest, Romania</addr-line>
        <institution>Fundamentals of Computer Science, University of Bucharest</institution>
        <addr-line content-type="city">Bucharest</addr-line>
        <country>Romania</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Radu Grosu (<email xlink:type="simple">grosu@saul.cis.upenn.edu</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2000</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>01</month>
        <year>2000</year>
      </pub-date>
      <volume>6</volume>
      <issue>1</issue>
      <fpage>112</fpage>
      <lpage>129</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/0E880B63-6D44-5079-B9ED-AE3D2C6B03AC">0E880B63-6D44-5079-B9ED-AE3D2C6B03AC</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6995775">6995775</uri>
      <permissions>
        <copyright-statement>Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu</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>A study of the classes of finite relations as enriched strict monoidal categories is presented in [CaS91]. The relations there are interpreted as connections in flowchart schemes, hence an angelic theory of relations is used. Finite relations may be used to model the connections between the components of dataflow networks [BeS98, BrS96], as well. The corresponding algebras are slightly different enriched strict monoidal categories modeling a forward-demonic theory of relations.  In order to obtain a full model for parallel programs one needs to mix control and reactive parts, hence a richer theory of finite relations is needed. In this paper we (1) define a model of such mixed finite relations, (2) introduce enriched (weak) semiringal categories as an abstract algebraic model for these relations, and (3) show that the initial model of the axiomatization (it always exists) is isomorphic to the defined one of mixed relations. Hence the axioms gives a sound and complete axiomatization for the these relations.  1 C.S.Calude and G.Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift.</p>
      </abstract>
    </article-meta>
  </front>
</article>
