liveness

The property of being alive.

(computing theory) A set of properties of a concurrent system that require the system to make progress despite the fact that its concurrently executing processes may have to take turns in critical sections.