Pipe-calculus: Difference between revisions

Line 117: Line 117:
|}
|}


In some applications it is useful to think of positive prefixes as data and negative prefixes as programs.
Prefixes are the basic units of interaction. Prefixes of the same kind and opposite polarity can interact.
Prefixes are also the basic units of interaction. Prefixes of the same kind and opposite polarity can interact.
Intuitively, positive prefixes are outbound, while negative ones are inbound.
It is also useful to think of positive prefixes as data and negative prefixes as programs.
In the zeroth-order calculus only synchronisation is present.
In the zeroth-order calculus only synchronisation is present.


283

edits