283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 85: | Line 85: | ||
There is only one kind of '''action''', which is '''synchronization'''. | There is only one kind of '''action''', which is '''synchronization'''. | ||
'''Sequences''' are ordered lists of actions. The symbol <math>\textbf{0}</math> denotes an empty sequence which can be interpreted as successful termination. | '''Sequences''' are ordered lists of actions. The symbol <math>\textbf{0}</math> denotes an empty sequence which can be interpreted as successful termination. | ||