Applications of compactness in the Smyth powerdomain of streams

• Authors:

• J.-J. Ch. Meyer;E. P. de Vink

• Affiliations:

• Free Univ. Amsterdam, The Netherlands;Free Univ., Amsterdam, The Netherlands

• Venue:
• Theoretical Computer Science
• Year:
• 1988