Variable [...] In the variable declaration [...] Variable Declaration
network variable list [...] variable list (Sender [...] variables
network variable list [...] variable list (Receiver [...] of network variables
Variable [...] The variable declaration [...] to declare the variables
Variable Declaration [...] in the variable declaration [...] The variable declaration
variable whose initial [...] global variable [...] variables as an input
manually initiate [...] : No variable of a non [...] : No variable of a non
variable list (receiver [...] Initial Value [...] of the network variables
Variable Lists (Safety [...] of global variable lists [...] for the variable declaration
and their attributes ( Variable [...] Variable or constant [...] Initial value: FALSE