Editing Process calculus (section)

=== Recursion and replication ===
The operations presented so far describe only finite interaction and are consequently insufficient for full computability, which includes non-terminating behaviour. ''[[Recursion]]'' and ''[[Replication (computing)|replication]]'' are operations that allow finite descriptions of infinite behaviour.  Recursion is well known from the sequential world. Replication <math>!P</math> can be understood as abbreviating the parallel composition of a countably infinite number of <math>\mathit{P}</math> processes:

:<math>
!P = P \mid !P

</math>