From 866b5dbbfab93331a0ccb9b5a7ad01101f7a13c3 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Fri, 1 Dec 2023 18:01:28 +0000 Subject: [PATCH] updated second cw --- secondcw/cw/cw.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.