283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 151: | Line 151: | ||
\def\neg{\mathsf{neg}~} | \def\neg{\mathsf{neg}~} | ||
\def\seq{\mathrel{;}} | \def\seq{\mathrel{;}} | ||
\def\alt{\mid} | \def\alt{\mid} | ||
\def\pipe{\rhd} | \def\pipe{\rhd} | ||
\def\eq{ = ~} | \def\eq{ = ~} | ||
| Line 174: | Line 172: | ||
& & \mid & ~ s \mathsf{|} t & & \text{Choice} \\ | & & \mid & ~ s \mathsf{|} t & & \text{Choice} \\ | ||
& & \mid & ~ s \pipe t & & \text{Pipe (interpretation)} \\ | & & \mid & ~ s \pipe t & & \text{Pipe (interpretation)} \\ | ||
& & \mid & ~ \ | & & \mid & ~ \top & & \text{Termination, also success} \\ | ||
& & \mid & ~ \ | & & \mid & ~ \bot & & \text{Termination, also failure} \\ | ||
& & \mid & ~ x & & \text{Variable} \\ | & & \mid & ~ x & & \text{Variable} \\ | ||
& & \mid & ~ (s) & & \text{Grouping} \\ | & & \mid & ~ (s) & & \text{Grouping} \\ | ||