From: rtrimana <rtrimana@uci.edu>
Date: Tue, 12 Jul 2016 22:18:48 +0000 (-0700)
Subject: Replacing primes with subscripts for MaxSlot and MinSlot
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0924f73122276126f224b26d6568372f0d51457e;p=iotcloud.git

Replacing primes with subscripts for MaxSlot and MinSlot
---

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index b55f16f..5a362c9 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -125,7 +125,7 @@ Client can make a request to resize the queue. This is done as a write that comb
 	(b) a request to the server
 
 \subsection{Server Algorithm}
-$s \in SN$ is a sequence number\\
+$s \in SN$ is a sequence number set\\
 $sv \in SV$ is a slot's value\\
 $slot_s = \tuple{s, sv} \in SL \subseteq SN \times SV$ \\
 
@@ -134,10 +134,10 @@ $slot_s = \tuple{s, sv} \in SL \subseteq SN \times SV$ \\
 \textit{max = maximum number of slots (input only for resize message)} \\
 \textit{n = number of slots} \\ \\
 \textbf{Helper Function} \\
-$MaxSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv}
-\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \geq s'$ \\
-$MinSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv} 
-\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \leq s'$ \\
+$MaxSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv}
+\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \geq s_s$ \\
+$MinSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv} 
+\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \leq s_s$ \\
 $SeqN(\tuple{s, sv})=s$ \\
 $SlotVal(\tuple{s, sv})=sv$ \\