Whether a process in state will never run another turn: isExited, or TERMINATING. TERMINATING counts because the handle is already finished, so a caller adopting it would submit input that is dropped and wait on a process that will never run again.
state
Whether a process in
statewill never run another turn: isExited, or TERMINATING. TERMINATING counts because the handle is already finished, so a caller adopting it would submit input that is dropped and wait on a process that will never run again.