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