version2/backup/doc/iotcloud.aux

   1 \relax
   2 \@writefile{toc}{\contentsline {section}{\numberline {1}\textbf  {Introduction}}{1}}
   3 \@writefile{toc}{\contentsline {section}{\numberline {2}Approach}{1}}
   4 \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Keys}{1}}
   5 \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Entry layout}{1}}
   6 \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Live status}{3}}
   7 \@writefile{toc}{\contentsline {paragraph}{Validation procedure on client:}{4}}
   8 \@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Resizing Queue}{4}}
   9 \@writefile{toc}{\contentsline {subsection}{\numberline {2.5}The Arbitrator}{4}}
  10 \@writefile{toc}{\contentsline {section}{\numberline {3}Server Algorithm}{4}}
  11 \@writefile{toc}{\contentsline {section}{\numberline {4}\textbf  {Client}}{6}}
  12 \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}\textbf  {Client Notation Conventions}}{6}}
  13 \@writefile{toc}{\contentsline {subsection}{\numberline {4.2}\textbf  {Client State}}{7}}
  14 \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Constants}{7}}
  15 \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Primitive Variables}{7}}
  16 \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.3}Sets and Lists}{7}}
  17 \@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Helper Functions}{8}}
  18 \@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Client Interfaces}{37}}