|
|
@ -11186,7 +11186,7 @@ meaning. It is derived from \citeauthor{Plotkin76}'s domain of |
|
|
resumptions, which in turn is derived from \citeauthor{Milner75}'s |
|
|
resumptions, which in turn is derived from \citeauthor{Milner75}'s |
|
|
domain of processes~\cite{Milner75,Plotkin76}. |
|
|
domain of processes~\cite{Milner75,Plotkin76}. |
|
|
|
|
|
|
|
|
\dhil{Briefly mention \citet{AtkeyJ15}} |
|
|
|
|
|
|
|
|
% \dhil{Briefly mention \citet{AtkeyJ15}} |
|
|
|
|
|
|
|
|
\part{Implementation} |
|
|
\part{Implementation} |
|
|
\label{p:implementation} |
|
|
\label{p:implementation} |
|
|
|