283
edits
Pipe-calculus: Difference between revisions
→Zero-order calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 83: | Line 83: | ||
''Zero-order'' pipe-calculus is a minimal variant of higher-order pipe-calculus which lacks any scoped constructs. Despite of this restriction it still have a limited computational power. Pipe-calculus terms are also called '''processes''' when their concurrent and communicating aspect is emphasized. Each process has a conceptual '''input''' and '''output''' which are implicit in the rules. Output of one process can be connected to the input of another one. | ''Zero-order'' pipe-calculus is a minimal variant of higher-order pipe-calculus which lacks any scoped constructs. Despite of this restriction it still have a limited computational power. Pipe-calculus terms are also called '''processes''' when their concurrent and communicating aspect is emphasized. Each process has a conceptual '''input''' and '''output''' which are implicit in the rules. Output of one process can be connected to the input of another one. | ||
Some terms contain '''atoms''' which are unscoped and uninterpreted symbols. In grammatical context one can think of | Some terms contain '''atoms''' which are unscoped and uninterpreted symbols. In grammatical context one can think of atoms as ''tokens''. The following terms are available in zero-order pipe-calculus. | ||
* ''synchronisation'', where | * ''synchronisation'', where | ||