283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Terms) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 154: | Line 154: | ||
\def\fail{\textbf{fail}} | \def\fail{\textbf{fail}} | ||
\def\pipe{\rhd} | \def\pipe{\rhd} | ||
\def\eq{ = ~} | \def\eq{ = ~} | ||
\def\rule{ ::= ~} | \def\rule{ ::= ~} | ||
| Line 176: | Line 175: | ||
& & \mid & ~ \succeed & & \text{Successful termination} \\ | & & \mid & ~ \succeed & & \text{Successful termination} \\ | ||
& & \mid & ~ \fail & & \text{Failure} \\ | & & \mid & ~ \fail & & \text{Failure} \\ | ||
& & \mid & ~ x & & \text{Variable} \\ | & & \mid & ~ x & & \text{Variable} \\ | ||
& & \mid & ~ (s) & & \text{Grouping} \\ | & & \mid & ~ (s) & & \text{Grouping} \\ | ||