A self-stabilizing system is one which can recover from transient faults in a nite number of steps. We present a theory for determining if a behavior speciication can be satissed with a self-stabilizing system and if not, then what the largest self-stabilizing subset and smallest self-stabilizing superset of the speciication is. The eeects of self-stabilizing behavior on the control of discrete...