Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

3 bytes added , 24 May 2023

283

edits

@@ Line 317: / Line 317: @@
 </math>
-Todo: pipe is also associative for ''well behaving'' operands. A process whose forks are all of the same prefixed form are certainly well behaving.
+Todo: pipe is also associative for ''well behaving'' operands. A process whose branches are all of the same prefixed form are certainly well behaving.
 === Normal forms ===