283
edits
Pipe-calculus: Difference between revisions
→Rules
KalmanKeri (talk | contribs) (→Choice) |
KalmanKeri (talk | contribs) (→Rules) |
||
| Line 141: | Line 141: | ||
==== Rules ==== | ==== Rules ==== | ||
If one of the branches fail, | If one of the branches fail, all others remain active. In other words, failure is local to branches. | ||
<math>s \mid \bot = s</math> | <math>s \mid \bot = s</math> | ||
If one of the branches succeeds, the choice succeeds too, eliminating all remaining branches. | |||
<math>s \mid \top = \top</math> | |||
Identical branches cannot be distinguished. In the following example, the behavior of <math>s</math> is observed only once. | |||
<math>s \mid s = s</math> | |||
==== Analogies ==== | ==== Analogies ==== | ||