// ------------------------------------------------------------
// The exit protocol is simple: all we have to do is to reset
// lock back to false.
// ------------------------------------------------------------

package Communication.MutexProtocols.SpinLock;

module ExitProtocol(bool !done, !lock) {
   next(lock) = false;
   done = true;
   next(done) = false;
}