From 3669079b028ba52769a2f1f90e49d392b3f596a0 Mon Sep 17 00:00:00 2001
From: thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>
Date: Fri, 22 Apr 2011 16:21:06 +0000
Subject: Peers now store the seeding phase duration

git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@9 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
---
 stage/article.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'stage/article.tex')

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}
-- 
cgit v1.2.3-70-g09d2

