Applications of Compactness in the Smyth Powerdomain of Streams

John-Jules Ch. Meyer, Erik P. de Vink. Applications of Compactness in the Smyth Powerdomain of Streams. Theoretical Computer Science, 57:251-282, 1988.

Abstract

Abstract is missing.