283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 157: | Line 157: | ||
& ~ p . s & & \text{Prefix operator} \\ | & ~ p . s & & \text{Prefix operator} \\ | ||
& & \mid & ~ s \seq t & & \text{Sequential composition} \\ | & & \mid & ~ s \seq t & & \text{Sequential composition} \\ | ||
& & \mid & ~ s \mathsf{|} t & & \text{ | & & \mid & ~ s \mathsf{|} t & & \text{Choice} \\ | ||
& & \mid & ~ s \pipe t & & \text{Pipe (interpretation)} \\ | & & \mid & ~ s \pipe t & & \text{Pipe (interpretation)} \\ | ||
& & \mid & ~ \succeed & & \text{Successful termination} \\ | & & \mid & ~ \succeed & & \text{Successful termination} \\ | ||