283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) No edit summary |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 72: | Line 72: | ||
& \mbox{Actions}~ & a, b & ::= \sync l \\ | & \mbox{Actions}~ & a, b & ::= \sync l \\ | ||
& \mbox{Sequences}~ & s, t & ::= a \seq s | & \mbox{Sequences}~ & s, t & ::= a \seq s \mid \null \\ | ||
& \mbox{Choices}~ & c, d & ::= s \mathsf{|} c | & \mbox{Choices}~ & c, d & ::= s \mathsf{|} c \mid \fail \\ | ||
& \mbox{Pipelines}~ & p, q & ::= c \rhd p \mid c \\ | & \mbox{Pipelines}~ & p, q & ::= c \rhd p \mid c \\ | ||