Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

320 bytes added , 24 May 2023

283

edits

@@ Line 97: / Line 97: @@
 === Sequence ===
-Sequence holds the intuition of temporal order. In <math>s ; t</math> the behavior of <math>s</math> is observed before the behavior of <math>t</math>.
+Sequence holds the intuition of temporal order. In <math>s \mathrel{;} t</math>, <math>s</math> is executed before <math>t</math> (more precisely, the behavior of <math>s</math> is observed before the behavior of <math>t</math>).
+If <math>s</math> fails (it reduces to <math>\bot</math>), <math>t</math> is not executed at all and the sequence fails.
+<math>\bot \mathrel{;} t = \bot</math>
+If the left operand succeeds, the right operand follows.
+<math>\top \mathrel{;} t = t</math>
+In <math>s ; s</math>, <math>s</math> is executed twice.
 Logically <math>;</math> has the properties of non-commutative (shortcut) conjunction.
-In <math>s ; s</math> the behavior of <math>s</math> is observed twice.
 ''Prefixes'' are the basic units of behavior (called ''actions'' in process algebra) that can only occur together with a continuation. They also obey this temporal ordering: the behavior of the prefix is observed before the behavior of the continuation.