1.Previous
3.Next

of interactions
* hiding of interaction points
* recursion or process replication

Parallel composition

Parallel composition of two processes and , usually written , is the key primitive distinguishing the process calculi from sequential models of computation. Parallel composition allows computation in and to proceed simultaneously and independently. But it also allows interaction, that is synchronisation and flow of information from to (or vice versa) on a channel shared by both. Crucially, a process may be connected

1.Previous
3.Next