From 1692ecd94ae690645b0890eb055500a8f3f0bb47 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Tue, 3 Feb 2026 15:09:04 +0100 Subject: chore: add definitions and better paper wording. Signed-off-by: Amlal El Mahrouss --- source/wg05/paper.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'source') 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} -- cgit v1.2.3