Divergence_(computer_science)
In computer science, a computation is said to diverge if it does not terminate or terminates in an exceptional state.[1]: 377 Otherwise it is said to converge. In domains where computations are expected to be infinite, such as process calculi, a computation is said to diverge if it fails to be productive (i.e. to continue producing an action within a finite amount of time).