This commit is contained in:
parent
64be075085
commit
2374a814b5
@ -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.
|
||||
|
||||
|
Reference in New Issue
Block a user