// ------------------------------------------------------------ // The exit protocol is simple: all we have to do is to // reset the own ticket number. // ------------------------------------------------------------ package Communication.MutexProtocols.Bakery; macro NumProc = 3; module ExitProtocol(nat{NumProc()} ?i, [NumProc()] int ticket) { ticket[i] = 0; }