• arrivalSignal : Txc16
• counter : Txc3 , Txc5 , Txc4
• event : Txc6 , Txc7
• hopCountStats : Txc15
• hopCountVector : Txc15
• message : Tic9
• numReceived : Txc14 , Txc15
• numSent : Txc14 , Txc15
• seq : Tic9
• tictocMsg : Txc6 , Txc7
• timeout : Tic9 , Tic8
• timeoutEvent : Tic9 , Tic8