283
edits
Pipe-calculus: Difference between revisions
→The pipe combinator
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 113: | Line 113: | ||
=== The pipe combinator === | === The pipe combinator === | ||
The pipe combinator is the first one where behavior plays a role and thus one can think of its operands as processes. | |||
<math>s \rhd t</math> is a composite process that enforces unidirectional flow of information between its component processes according to the following diagram. | |||
<math>\to \underset{s \rhd t}{\boxed{\to \boxed{s} \to \boxed{t} \to}} \to</math> | |||
Compared to the parallel composition <math>\mid</math> in [[Wikipedia:π-calculus|π-calculus]], <math>\rhd</math> can be classified as unidirectional parallel composition. | |||
Synchronisation and communication | Synchronisation and communication | ||
Recognition and interpretation | <math>\rhd</math> does not occur in normal forms. | ||
One can also think of <math>\rhd</math> in a syntactic setting. In this case the left hand side operand represents ''input'', while the right hand side operand plays the role of a ''recognizer'', ''parser'' or ''interpreter''. | |||
==== Recognition and interpretation ==== | |||
== Formal Definition == | == Formal Definition == | ||