Main window

This window is displayed on the first two lines of the screen and contains information about the protocol. Its format is described below:

    -----------------------------------------------------------------
    Time: ttt     Tot. Mess. Send: mm    Cur. Proc: pp   Id: ii
    Proc.: pp  [( ssssss ) x ( eeeeee ) -> ( nnnssss ) x ( aaaaaa )]
    -----------------------------------------------------------------

• ttt : absolute time units. (Global clock)
• mm : Total sum of messages that have been sent till now.
• pp : the process number of the process executing a protocol step at this moment. ( This value is kept in Lydian global variable me)
• ii: current process id. ( This value is kept in Lydian global variable PCB[me].id)
• sssss : the old state of the process.
• eeeee : the event encountered.
• nnnsss : the new state of the process.
• aaaaa : the action that process decides to do.