<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Process calculus - Page 5 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Process_calculus&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Process_calculus&amp;p=6">3.Next</a>
</p>
<p>names (or <a href="page.php?w=Channel_%28programming%29">channels</a>) whose purpose is to provide means of communication.  In many implementations, channels have rich internal structure to improve efficiency, but this is abstracted away in  most theoretic models.  In addition to names, one needs a means to form new processes from old ones. The basic operators, always present in some form or other, allow:</p>

<p>
* parallel composition of processes<br/>
* specification of which channels to use for sending and receiving data<br/>
* sequentialization</p><p>
<a accesskey="1" href="page.php?w=Process_calculus&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Process_calculus&amp;p=6">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
