diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg05/paper.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/wg05/paper.tex b/source/wg05/paper.tex index da2fa29..1f49783 100644 --- a/source/wg05/paper.tex +++ b/source/wg05/paper.tex @@ -80,7 +80,7 @@ An execution domain is defined as previously stated in Section~2. An execution a A \emph{trait} is a set of formal rules defining the semantic concepts of an execution context. -Let $A$ be an execution authority of type $T$, where $T$ is a trait of an execution context. +Let $A$ be an execution authority of type $T$, such that $T$ is a trait of an execution context. \subsection{Properties} |