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)

    Abstract

    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
    PublisherSpringer
    Chapter59
    Pages241-255
    Number of pages15
    Volume1
    ISBN (Electronic)978-3-540-47746-4
    ISBN (Print)3-540-17660-8, 978-3-540-17660-2
    DOIs
    Publication statusPublished - 1987

    Publication series

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

    Fingerprint 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

    Meyer, J-JC., & Vink, de, E. P. (1987). Applications of compactness in the Smyth powerdomain of streams: extended abstract. In H. Ehrig, R. A. Kowalski, G. Levi, & U. Montanari (Eds.), TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987) (Vol. 1, pp. 241-255). (Lecture Notes in Computer Science; Vol. 249). Springer. https://doi.org/10.1007/3-540-17660-8_59