diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-22 17:35:13 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-22 17:35:13 +0100 |
| commit | 3e4570b9064162692b9beb5a87f5776c7d8039cc (patch) | |
| tree | 8bc3def7399027d32c285788de43c9b5a902f2cb | |
| parent | 6109c58ebd454f51a7eb9b61a85632d176fb6157 (diff) | |
Specify WG05 as 'EST' (Execution Semantics Theory)
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | source/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/README.md b/source/README.md index b01ace7..8e81443 100644 --- a/source/README.md +++ b/source/README.md @@ -10,5 +10,5 @@ - WG02: `Systems Group`. - WG03: `Compiler Design Group`. - WG04-SPACE-RF: `Distributed Systems Group`. -- WG05: `Execution Semantics Group`. +- WG05: `Execution Semantics Theory Group`. |