\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-01: Theory of Concurrent Programming Assignment \#1, Fall 2016},
            pdfauthor={H. Conrad Cunningham},
            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
\usepackage{caption}
\DeclareCaptionLabelFormat{nolabel}{}
\captionsetup{labelformat=nolabel}

\title{Engr 664-01: Theory of Concurrent Programming\\
Assignment \#1, Fall 2016}
\author{H. Conrad Cunningham}
\date{31 August 2016}

\begin{document}
\maketitle

\section{\texorpdfstring{Assignment \#1\\
Due Friday, 9 September, 2:00
p.m.}{Assignment \#1 Due Friday, 9 September, 2:00 p.m.}}\label{assignment-1-due-friday-9-september-200-p.m.}

\begin{itemize}
\item
  Do exercises 2.2, 2.3, 2.4, and 2.5 on pages 34-5 of the textbook with
  the extensions and modifications noted below.
\item
  Give an FSP specification for each exercise.
\item
  Draw the state machine diagram for each exercise that corresponds to
  your FSP specification and check (using LTSA) that it can perform the
  desired actions.
\item
  For exercise 2.5, use American coins with denominations of 5 cents, 10
  cents, and 25 cents and use 65 cents as the price of a can of
  Sugarola.
\item
  At the beginning of class on the due date, submit your homework paper
  in the format described in the syllabus.
\end{itemize}

\end{document}
