\documentclass[]{article}
\usepackage{lmodern}
\usepackage{amssymb,amsmath}
\usepackage{ifxetex,ifluatex}
\usepackage{fixltx2e} % provides \textsubscript
\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex
  \usepackage[T1]{fontenc}
  \usepackage[utf8]{inputenc}
\else % if luatex or xelatex
  \ifxetex
    \usepackage{mathspec}
  \else
    \usepackage{fontspec}
  \fi
  \defaultfontfeatures{Ligatures=TeX,Scale=MatchLowercase}
\fi
% use upquote if available, for straight quotes in verbatim environments
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
% use microtype if available
\IfFileExists{microtype.sty}{%
\usepackage{microtype}
\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
}{}
\usepackage[unicode=true]{hyperref}
\hypersetup{
            pdftitle={Engr 664: Theory of Concurrent Programming Lecture Notes, Fall 2016},
            pdfauthor={H. Conrad Cunningham, D.Sc. Department of Computer and Information Science The University of Mississippi},
            pdfborder={0 0 0},
            breaklinks=true}
\urlstyle{same}  % don't use monospace font for urls
\IfFileExists{parskip.sty}{%
\usepackage{parskip}
}{% else
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt plus 2pt minus 1pt}
}
\setlength{\emergencystretch}{3em}  % prevent overfull lines
\providecommand{\tightlist}{%
  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
\setcounter{secnumdepth}{0}
% Redefines (sub)paragraphs to behave more like sections
\ifx\paragraph\undefined\else
\let\oldparagraph\paragraph
\renewcommand{\paragraph}[1]{\oldparagraph{#1}\mbox{}}
\fi
\ifx\subparagraph\undefined\else
\let\oldsubparagraph\subparagraph
\renewcommand{\subparagraph}[1]{\oldsubparagraph{#1}\mbox{}}
\fi

% set default figure placement to htbp
\makeatletter
\def\fps@figure{htbp}
\makeatother

\usepackage{caption}
\DeclareCaptionLabelFormat{nolabel}{}
\captionsetup{labelformat=nolabel}

\title{Engr 664: Theory of Concurrent Programming\\
Lecture Notes, Fall 2016}
\author{\href{/~hcc/HOME_hcc.html}{H. Conrad Cunningham, D.Sc.}\\
\href{http://www.cs.olemiss.edu}{Department of Computer and Information
Science}\\
\href{http://www.olemiss.edu}{The University of Mississippi}}
\date{28 November 2016}

\begin{document}
\maketitle

{
\setcounter{tocdepth}{4}
\tableofcontents
}
\section{Lecture Notes}\label{lecture-notes}

\subsection{Quick Links}\label{quick-links}

\begin{itemize}
\item
  \href{http://www.doc.ic.ac.uk/~jnm/book/book_applets/concurrency.html}{Demonstration
  programs}
\item
  \href{http://www.doc.ic.ac.uk/~jnm/book/ltsa/LTSA_applet.html}{LTS
  analyzer}
\end{itemize}

\subsection{Schedule, Notes, and
Examples}\label{schedule-notes-and-examples}

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\setcounter{enumi}{-1}
\item
  Introduction

  \begin{enumerate}
  \def\labelenumii{\alph{enumii}.}
  \item
    (22 Aug) Discuss syllabus and class organization
  \item
    (24 Aug) Concurrent Programming Introduction --
    \href{concurrent_programming_introduction.html}{HTML} --
    \href{concurrent_programming_introduction.pdf}{PDF}
  \end{enumerate}
\item
  (24-26 Aug) Concurrency: Concepts, Models and Programs --
  \href{slides/ch1.pdf}{PDF} -- \href{slides/ch1.ppt}{PPT}
\item
  (29-31 Aug, 2 Sep) Processes and Threads -- \href{slides/ch2.pdf}{PDF}
  -- \href{slides/ch2.ppt}{PPT}
\item
  (2-9 Sep) Concurrent Execution -- \href{slides/ch3.pdf}{PDF} --
  \href{slides/ch3.ppt}{PPT}
\item
  (12, 14, 19 Sep) Shared Objects and Mutual Exclusion --
  \href{slides/ch4.pdf}{PDF} -- \href{slides/ch4.ppt}{PPT}

  No class on Friday, 19 Sep
\item
  (19, 21, 26 Sep) Monitors and Condition Synchronization --
  \href{slides/ch5.pdf}{PDF} -- \href{slides/ch5.ppt}{PPT}

  (23 Sep) Side discussion of the concept of invariant in various
  computing science contexts
\item
  (26-30 Sep) Deadlock -- \href{slides/ch6.pdf}{PDF} --
  \href{slides/ch6.ppt}{PPT}
\item
  (3-7 Oct) Safety and Liveness -- \href{slides/ch7.pdf}{PDF} --
  \href{slides/ch7.ppt}{PPT}

  (10 Oct) Review for Exam \#1

  \textbf{(12 Oct) Examination \#1}
\item
  (14-19 Oct) Model-Based Design -- \href{slides/ch8.pdf}{PDF} --
  \href{slides/ch8.ppt}{PPT}

  (24 Oct) Return Exam \#1

  (26 Oct) Side talk about OO design
\item
  (21, 28, 31 Oct) Dynamic Systems -- \href{slides/ch9.pdf}{PDF} --
  \href{slides/ch9.ppt}{PPT}
\item
  (2-4? Nov) Message Passing -- \href{slides/ch10.pdf}{PDF} --
  \href{slides/ch10.ppt}{PPT}
\item
  (7?-14 Nov) Concurrent Architectures

  (14 Nov) Review for Exam \#2

  (16 Nov) No class because of Apple seminar

  \textbf{(18 Nov) Examination \#2}

  (28 Nov) Return Exam \#2
\item
  (28-30 Nov) Timed Systems -- \href{slides/ch12.pdf}{PDF} --
  \href{slides/ch12.ppt}{PPT}
\item
  (Not used 2016) Logical Properties -- \href{slides/ch14.pdf}{PDF} --
  \href{slides/ch14.ppt}{PPT}
\end{enumerate}

\subsection{References}\label{references}

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\setcounter{enumi}{100}
\item
  \href{http://www.doc.ic.ac.uk/~jnm/book/}{Textbook website}

  \begin{itemize}
  \item
    \href{http://www.doc.ic.ac.uk/~jnm/book/book_applets/concurrency.html}{demo
    programs\\
    }
  \item
    \href{http://www.doc.ic.ac.uk/~jnm/book/ltsa/LTSA_applet.html}{LTS
    analyzer\\
    }
  \end{itemize}
\item
  \href{slides/}{Local copies of textbook slides}
\item
  \href{tools/}{Local copies of LTSA tools}
\item
  \href{demos/}{Local copies of demo applets}
\end{enumerate}

\end{document}
