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.
|Title of host publication||TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987)|
|Editors||H. Ehrig, R.A. Kowalski, G. Levi, U. Montanari|
|Number of pages||15|
|ISBN (Print)||3-540-17660-8, 978-3-540-17660-2|
|Publication status||Published - 1987|
|Name||Lecture Notes in Computer Science|