\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Hint}
\begin{popup}


\subsection*{Hint}

Show that for the next-state action $P(self)$ of process $self$
in the two-process algorithm, $(pc[self] # "ncs") /\ P(self)$
equals 
\[
e1(self) \;\/ \; e2(self) \;\/ \; cs(self) 
  \;\/ \; e3(self)
\;\/ \; e4(self) \;\/ \; f(self)
\]
Generalize from this example and apply Question~\xref{main:proc-wf}.
\end{popup}
\makepopup