The die statement
The die statement terminates the execution of a monitor. When the correlator executes a die statement, it terminates only the monitor instance that contains the die statement being executed. If the monitor instance that spawned the monitor instance being terminated is still active, that monitor instance is not affected. If that original monitor instance spawned any other monitor instances, those monitor instances are not affected. If the monitor instance being terminated defines an ondie() action, the correlator executes the ondie() action for just the monitor instance being terminated, and then terminates the monitor instance.