283
edits
Pipe-calculus: Difference between revisions
→Rules
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Rules) |
||
| Line 186: | Line 186: | ||
If the left operand is an output prefix and the right operand is an input prefix, communication occurs and both sides make progress. The term output by the left side is available in the continuation of the right side. | If the left operand is an output prefix and the right operand is an input prefix, communication occurs and both sides make progress. The term output by the left side is available in the continuation of the right side. | ||
<math>!s . t \rhd ? | <math>!s . t \rhd ?x . u = t \rhd u[s/x]</math> | ||
Arguably these are the key rules of pipe-calculus<ref>Compare with [[Wikipedia:Process_calculus#Reduction_semantics|reduction semantics]] of process calculi on Wikipedia.</ref>. | Arguably these are the key rules of pipe-calculus<ref>Compare with [[Wikipedia:Process_calculus#Reduction_semantics|reduction semantics]] of process calculi on Wikipedia.</ref>. | ||