From 2374a814b58e1621079ee4cecd779f7f36178348 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Fri, 1 Dec 2023 18:08:08 +0000 Subject: [PATCH] Fixed cw2 --- 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 26ee817..c03c95e 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 $ 1 + 1$. + The file ag01598\_6644818\_1.1.spdl contains the base model of $\text{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.