|
@@ -86,6 +86,7 @@ In the rest of this homwork, we suppose $\mathcal{B}|[ \bullet |]$ the denotatio
|
|
|
|
|
|
We define $->$ the structural operational semantics for commands as:
|
|
We define $->$ the structural operational semantics for commands as:
|
|
|
|
|
|
|
|
+% On écrit -> \subseteq (Statement … non ?
|
|
\[ -> : (Statement \times State) \times ((Statement \times State) \cup State) \]
|
|
\[ -> : (Statement \times State) \times ((Statement \times State) \cup State) \]
|
|
|
|
|
|
\subsubsection{Regular execution}
|
|
\subsubsection{Regular execution}
|