Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

14 bytes added , 17 May 2023

283

edits

@@ Line 94: / Line 94: @@
 * <math>\mathsf{fail}</math> is a process that failed.
-=== Alternative composition ===
+=== Choice ===
-captures failure
+* failure is local to choice
+* forks may overlap
-alternatives may overlap
+* but identical forks cannot be distinguished
+* choice and mathematical case analisys
-... and mathematical case analisys
-there is a default case
 === Exclusive choice ===