// ------------------------------------------------------------ // The exit protocol is simple: all we have to do is to reset // the corresponding level value of the process. // ------------------------------------------------------------ package Communication.MutexProtocols.Peterson; // number of processes macro NumProc = 3; module ExitProtocol(bool done,nat{NumProc()} level) { next(level) = 0; done = true; next(done) = false; }