283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 81: | Line 81: | ||
& \mbox{Literals}~ & l, m \rule & x \mid \neg x \\ | & \mbox{Literals}~ & l, m \rule & x \mid \neg x \\ | ||
& \mbox{Variables}~ & v, w \rule & \mathsf{a} \mid \mathsf{b} \\ | & \mbox{Variables}~ & v, w \rule & \mathsf{a} \mid \mathsf{b} \mid ... \\ | ||
& \mbox{Actions}~ & a, b \rule & \sync l \\ | & \mbox{Actions}~ & a, b \rule & \sync l \\ | ||