Applications of compactness in the Smyth powerdomain of streams: extended abstract

J.-J.Ch. Meyer, E.P. Vink, de

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)


    We show in a uniform setting the crucial role of compactness in the theory of the Smyth powerdomain of streams. The topological notion of compactness is characterized in an order-theoretical manner, involving a notion of bounded sets. We obtain general results on the continuity of operators, and consider applications as diverse as interleaving, hiding and stream programming operators.
    Original languageEnglish
    Title of host publicationTAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987)
    EditorsH. Ehrig, R.A. Kowalski, G. Levi, U. Montanari
    Number of pages15
    ISBN (Electronic)978-3-540-47746-4
    ISBN (Print)3-540-17660-8, 978-3-540-17660-2
    Publication statusPublished - 1987

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Applications of compactness in the Smyth powerdomain of streams: extended abstract'. Together they form a unique fingerprint.

    Cite this