Pipe-calculus: Difference between revisions

Line 113: Line 113:
=== Choice ===
=== Choice ===


* failure is local to choice
* fork - join
* failure is local to forks
* forks may overlap
* forks may overlap
* but identical forks cannot be distinguished
* but identical forks cannot be distinguished
283

edits