<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Results for "Communicating Sequential Processes"</title>
    <description>Showing 1 - 8 results of 8</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=%22Communicating+Sequential+Processes%22&amp;type=AllFields&amp;lng=en</link>
    <opensearch:totalResults>8</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22Communicating%20Sequential%20Processes%22" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Go to First Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Communicating+Sequential+Processes%22&amp;type=AllFields&amp;lng=en"/>
    <atom:link rel="last" type="application/rss+xml" title="Go to Last Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Communicating+Sequential+Processes%22&amp;type=AllFields&amp;lng=en"/>
    <item>
      <title>Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36135-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36135-0</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Euro-Par'98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-49920-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-49920-6</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Understanding Concurrent Systems</title>
      <pubDate>Fri, 01 Jan 2010 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-1-84882-258-0</link>
      <guid>https://find.library.upatras.gr/Record/978-1-84882-258-0</guid>
      <author>Roscoe, A.W</author>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2010</dc:date>
      <dc:creator>Roscoe, A.W</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /</title>
      <pubDate>Sat, 01 Jan 2005 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-32265-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-32265-8</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2005</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /</title>
      <pubDate>Sun, 01 Jan 2006 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-48816-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-48816-3</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2006</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2019 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-030-29400-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-030-29400-7</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2019</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling &amp; Simulation /</title>
      <pubDate>Sat, 01 Jan 2005 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-1-4020-8088-3</link>
      <guid>https://find.library.upatras.gr/Record/978-1-4020-8088-3</guid>
      <author>Patel, Hiren D.</author>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2005</dc:date>
      <dc:creator>Patel, Hiren D.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Reflections on the Work of C.A.R. Hoare</title>
      <pubDate>Fri, 01 Jan 2010 02:43:09 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-1-84882-912-1</link>
      <guid>https://find.library.upatras.gr/Record/978-1-84882-912-1</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2010</dc:date>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
