283
edits
Pipe-calculus: Difference between revisions
→Prefixes
KalmanKeri (talk | contribs) (→Terms) |
KalmanKeri (talk | contribs) |
||
| Line 99: | Line 99: | ||
''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 kind. | Actions can be classified by polarity and kind. | ||
{| class="wikitable" style="text-align: center;" | {| class="wikitable" style="text-align: center;" | ||
| Line 116: | Line 115: | ||
|} | |} | ||
Prefixes are also the basic units of interaction. Prefixes of the same kind and opposite polarity can interact. In the zeroth-order calculus only synchronisation is present. | In some applications it is useful to think of positive prefixes as data and negative prefixes as programs. | ||
Prefixes are also the basic units of interaction. Prefixes of the same kind and opposite polarity can interact. | |||
In the zeroth-order calculus only synchronisation is present. | |||
=== Sequence === | === Sequence === | ||