diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg05/tn/tn001.05.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn/tn001.05.tex index 86cb0b1..41b5830 100644 --- a/source/wg05/tn/tn001.05.tex +++ b/source/wg05/tn/tn001.05.tex @@ -34,8 +34,6 @@ This paper covers the algebraic properties and concepts of `The Execution Semant \section{The Execution Product} - - Let $F(x, y, z)$ be an Execution Product of variable arguments $x$, $y$, $z$ defined in compatible and composable execution context $E$: \\ Let the index $\alpha$ denote the current execution domain of an execution product.\\ $F(x, y, z) = \prod_{\alpha=1}^{n}(x_{\alpha} \times y_{\alpha} \times z_{\alpha})+C$. Where $C$ is the Unknown Execution of $F(x, y, z)$—now defined as $g(E)$. |