Definition:
In concurrent computing, liveness refers to a set of properties of concurrent systems, that need a system to make progress despite the fact that its at the same time executing components may need to”take turns” in critical sections, parts of the program that can’t be at the same time run by multiple processes. liveness guarantees important properties in operating systems and distributed systems.
Further Reading:
Book: Patterns of Enterprise Application Architecture by Martin Fowler .