diff options
Diffstat (limited to 'stage/article.tex')
| -rw-r--r-- | stage/article.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stage/article.tex b/stage/article.tex index b373384..8e3df34 100644 --- a/stage/article.tex +++ b/stage/article.tex @@ -55,7 +55,7 @@ pulse during this phase, where: \begin{itemize} \item $i$ is the round number. \item \textsf{seed$^i$} is the seed of round $i$. - \item $T$ is the length of the seeding phase. + \item $T$ is the duration of the seeding phase. \item \textsf{S$^i_{pulse}$} is \textsf{sign($\langle$$i$, seed$^i$, $T$$\rangle$, KS$_{priv}$)}. \end{itemize} @@ -130,6 +130,7 @@ seed$^i$, $T$, S$^i_{seed}$)}}] let nreplies$^i$ = 0; let replies$^i$ = $\emptyset$; let included$^i$ = $\bot$; + let duration$^i$ = T; let phase$^i$ = SEEDING; end if \end{lstlisting} |