283
edits
Pipe-calculus: Difference between revisions
→Choice
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Choice) |
||
| Line 93: | Line 93: | ||
* <math>\mathsf{succeed}</math> is a process that successfully terminated. | * <math>\mathsf{succeed}</math> is a process that successfully terminated. | ||
* <math>\mathsf{fail}</math> is a process that failed. | * <math>\mathsf{fail}</math> is a process that failed. | ||
=== Sequence === | |||
=== Choice === | === Choice === | ||