283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 142: | Line 142: | ||
== Equational theory == | == Equational theory == | ||
<math> | |||
\def\seq{\mathrel{;}} | |||
\def\pipe{\rhd} | |||
\def\sync{\mathsf{sync}~} | |||
\def\null{\textbf{0}} | |||
\def\fail{\textbf{fail}} | |||
\def\pass{\textbf{pass}} | |||
\def\pto{\mathrel{\to\mkern-18mu\vcenter{\hbox{$\scriptscriptstyle|$}\mkern11mu}}} | |||
\def\nto{\to} | |||
</math> | |||
Sequential composition is associative. <math>\null</math> is its neutral element. | Sequential composition is associative. <math>\null</math> is its neutral element. | ||