Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

2 bytes removed , 24 May 2023

283

edits

@@ Line 149: / Line 149: @@
 <math>s \mid \top = \top</math>
-Identical branches cannot be distinguished. In the following example, the behavior of <math>s</math> is observed only once.
+Identical branches are indistinguishable. In the following example, the behavior of <math>s</math> is observed only once.
 <math>s \mid s = s</math>