Replacing primes with subscripts for MaxSlot and MinSlot
authorrtrimana <rtrimana@uci.edu>
Tue, 12 Jul 2016 22:18:48 +0000 (15:18 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 12 Jul 2016 22:18:48 +0000 (15:18 -0700)
doc/iotcloud.tex

index b55f16f..5a362c9 100644 (file)
@@ -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\r
 \r
 \subsection{Server Algorithm}\r
-$s \in SN$ is a sequence number\\\r
+$s \in SN$ is a sequence number set\\\r
 $sv \in SV$ is a slot's value\\\r
 $slot_s = \tuple{s, sv} \in SL \subseteq SN \times SV$ \\\r
 \r
@@ -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)} \\\r
 \textit{n = number of slots} \\ \\\r
 \textbf{Helper Function} \\\r
-$MaxSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv}\r
-\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \geq s'$ \\\r
-$MinSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv} \r
-\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \leq s'$ \\\r
+$MaxSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv}\r
+\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \geq s_s$ \\\r
+$MinSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv} \r
+\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \leq s_s$ \\\r
 $SeqN(\tuple{s, sv})=s$ \\\r
 $SlotVal(\tuple{s, sv})=sv$ \\\r
 \r