<?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-001-06-0339</article-id>
      <article-id pub-id-type="publisher-id">27130</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.1.3 - Concurrent Programming</subject>
          <subject>D.3.1 - Formal Definitions and Theory</subject>
          <subject>F.3.2 - Semantics of Programming Languages</subject>
          <subject>F.4.2 - Grammars and Other Rewriting Systems</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>A Translation of the Pi-Calculus Into MONSTR</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Banach</surname>
            <given-names>Richard</given-names>
          </name>
          <email xlink:type="simple">banach@cs.man.ac.uk</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Balázs</surname>
            <given-names>J.</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Papadopoulos</surname>
            <given-names>George A.</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">Computer Science Dept., Manchester University, Manchester, United Kingdom</addr-line>
        <institution>Computer Science Dept., Manchester University</institution>
        <addr-line content-type="city">Manchester</addr-line>
        <country>United Kingdom</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Computer Science Dept., P. J. Safárik University, Kosice, Slovakia</addr-line>
        <institution>Computer Science Dept., P. J. Safárik University</institution>
        <addr-line content-type="city">Kosice</addr-line>
        <country>Slovakia</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">Computer Science Dept., University of Cyprus, Nicosia, Cyprus</addr-line>
        <institution>Computer Science Dept., University of Cyprus</institution>
        <addr-line content-type="city">Nicosia</addr-line>
        <country>Cyprus</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Richard Banach (<email xlink:type="simple">banach@cs.man.ac.uk</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>1995</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>06</month>
        <year>1995</year>
      </pub-date>
      <volume>1</volume>
      <issue>6</issue>
      <fpage>339</fpage>
      <lpage>398</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/B614598B-5600-55B7-A24A-9010C3FE7762">B614598B-5600-55B7-A24A-9010C3FE7762</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6995110">6995110</uri>
      <permissions>
        <copyright-statement>Richard Banach, J. Balázs, George A. Papadopoulos</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 translation of the pi-calculus into the MONSTR graph rewriting language is described and proved correct. The translation illustrates the heavy cost in practice of faithfully implementing the communication primitive of the pi-calculus and similar process calculi. It also illustrates the convenience of representing an evolving network of communicating agents directly within a graph manipulation formalism, both because the necessity to use delicate notions of bound variables and of scopes is avoided, and also because the standard model of graphs in set theory automatically yields a useful semantics for the process calculus. The correctness proof illustrates many features typically encountered in reasoning about graph rewriting systems, and particularly how serialisation techniques can be used to reorder an arbitrary execution into one having stated desirable properties.</p>
      </abstract>
    </article-meta>
  </front>
</article>
