In
computer science, a computation is said to
diverge if it does not terminate or terminates in an (unobservable) exceptional state. 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 (always produces an action within a finite amount of time.)