283
edits
Pipe-calculus: Difference between revisions
→Pipeline
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 135: | Line 135: | ||
<math>\underset{s \rhd t}{\boxed{\to \boxed{s} \to \boxed{t} \to}}</math> | <math>\underset{s \rhd t}{\boxed{\to \boxed{s} \to \boxed{t} \to}}</math> | ||
Compared to the parallel composition <math>\mid</math> in [[Wikipedia:π-calculus|π-calculus]], <math>\rhd</math> can be classified as unidirectional parallel composition. | Compared to the parallel composition <math>\mid</math> in [[Wikipedia:π-calculus|π-calculus]], <math>\rhd</math> can be classified as unidirectional parallel composition. | ||
==== Rules ==== | |||
If the operands are prefixed with matching literals, synchronisation occurs and both sides make progress. | If the operands are prefixed with matching literals, synchronisation occurs and both sides make progress. | ||