Pipe-calculus: Difference between revisions

Tags: Mobile edit Mobile web edit
Line 163: Line 163:
* Branches in a version control system - branches are often created to explore possible 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, none of them is outstanding.
In both analogies, branches may exist side by side. However branches of a choice are all equal, none of them is outstanding.


==== Exclusive choice ====
==== Exclusive choice ====
283

edits