283
edits
Pipe-calculus: Difference between revisions
→Sequence
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 96: | Line 96: | ||
=== Sequence === | === 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>. | |||
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. | |||
=== Choice === | === Choice === | ||