1 paper
Mike Stannett
This paper develops a compact collecting semantics for the residual behaviour left by nonterminating computation. For sequential time this is the tail-cluster set of the stream in…