diff --git a/secondcw/cw/cw.tex b/secondcw/cw/cw.tex index f5b43f0..b4b8e73 100644 --- a/secondcw/cw/cw.tex +++ b/secondcw/cw/cw.tex @@ -51,7 +51,7 @@ \begin{document} \section*{1} \subsection*{1.1} - The file ag01598_6644818_1.1.spdl contains the base model of protocol$\PI$. + The file ag01598_6644818_1.1.spdl contains the base model of protocol$\Pi$. I choose the names of the roles based on their functions since it would make the file more readable so R is Phone, S is Application, N is Network.