283
edits
Pipe-calculus: Difference between revisions
→Analogies
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 157: | Line 157: | ||
==== Analogies ==== | ==== Analogies ==== | ||
Practical concepts that share some properties with choice | Practical concepts that share some properties with choice: | ||
* The Unix [[Wikipedia:Fork_(system_call)|fork system call]] - as both forks inherit the same environment and the failure of one fork does not affect the other one. | * The Unix [[Wikipedia:Fork_(system_call)|fork system call]] - as both forks inherit the same environment and the failure of one fork does not affect the other one. | ||
* Branches in a version control system - branches are often created to explore solutions and successful solutions are merged with the main branch. | * Branches in a version control system - branches are often created to explore possible solutions and successful solutions are merged with the main branch. | ||
In both analogies, branches may exist side by side. However branches of a choice combinator are all equal, | In both analogies, branches may exist side by side. However branches of a choice combinator are all equal, none of them is outstanding. | ||
==== Exclusive choice ==== | ==== Exclusive choice ==== | ||