283
edits
Pipe-calculus: Difference between revisions
→Prefixes
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 98: | Line 98: | ||
''Prefixes'' are the basic units of behavior (they are called ''actions'' in process algebra). In pipe-calculus actions can only occur together with a continuation. | ''Prefixes'' are the basic units of behavior (they are called ''actions'' in process algebra). In pipe-calculus actions can only occur together with a continuation. | ||
Actions can be classified by polarity and | Actions can be classified by polarity and kind. | ||
In some applications of the calculus it is useful to think of positive prefixes as data and negative prefixes as programs. | In some applications of the calculus it is useful to think of positive prefixes as data and negative prefixes as programs. | ||
| Line 115: | Line 115: | ||
| <math>?x . t</math> | | <math>?x . t</math> | ||
|} | |} | ||
Prefixes are also the basic units of interaction. Prefixes of the same kind and opposite polarity can interact. | |||
=== Sequence === | === Sequence === | ||