This is not actually a problem for total languages, which simply model these kinds of processes using corecursion/coinduction/codata.