4
edits
Playground: Difference between revisions
no edit summary
KalmanKeri (talk | contribs) No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
<math> | <math>\mbox{Atoms}~ a, b ::= \mathsf{Foo} ~|~ \mathsf{Bar}</math> | ||
<math> | |||
\begin{align} | |||
P, Q ::= & \; x(y).P \,\,\, \, \, & \text{Receive on channel }x\text{, bind the result to }y\text{, then run }P \\ | |||
& \; | \; \overline{x} \langle y \rangle.P \,\,\, \, \, &\text{Send the value }y\text{ over channel }x\text{, then run }P \\ | |||
& \; | \; P|Q \,\,\, \, \, \, \, \, \, &\text{Run }P\text{ and }Q\text{ simultaneously} \\ | |||
& \; | \; (\nu x)P \,\,\, &\text{Create a new channel }x\text{ and run }P \\ | |||
& \; | \; !P \,\,\, &\text{Repeatedly spawn copies of }P \\ | |||
& \; | \; 0 & \text{Terminate the process} | |||
\end{align} | |||
</math> | |||