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

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

doi:10.1007/3-540-17660-8_59

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 proceeding › Conference contribution › Academic › peer-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 language	English
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
Publisher	Springer
Chapter	59
Pages	241-255
Number of pages	15
Volume	1
ISBN (Electronic)	978-3-540-47746-4
ISBN (Print)	3-540-17660-8, 978-3-540-17660-2
DOIs	https://doi.org/10.1007/3-540-17660-8_59
Publication status	Published - 1987

Publication series

Name	Lecture Notes in Computer Science
Volume	249
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-17660-8_59

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

Meyer, J.-J.Ch. ; Vink, de, E.P. / Applications of compactness in the Smyth powerdomain of streams : extended abstract. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987). editor / H. Ehrig ; R.A. Kowalski ; G. Levi ; U. Montanari. Vol. 1 Springer, 1987. pp. 241-255 (Lecture Notes in Computer Science).

@inproceedings{da2b6730feb64f72a1eab9a759d27767,

title = "Applications of compactness in the Smyth powerdomain of streams: extended abstract",

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.",

author = "J.-J.Ch. Meyer and {Vink, de}, E.P.",

year = "1987",

doi = "10.1007/3-540-17660-8_59",

language = "English",

isbn = "3-540-17660-8",

volume = "1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "241--255",

editor = "H. Ehrig and R.A. Kowalski and G. Levi and U. Montanari",

booktitle = "TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987)",

address = "Germany",

}

Meyer, J-JC & Vink, de, EP 1987, Applications of compactness in the Smyth powerdomain of streams: extended abstract. in H Ehrig, RA 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, Lecture Notes in Computer Science, vol. 249, Springer, pp. 241-255. https://doi.org/10.1007/3-540-17660-8_59

Applications of compactness in the Smyth powerdomain of streams : extended abstract. / Meyer, J.-J.Ch.; Vink, de, E.P.

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987). ed. / H. Ehrig; R.A. Kowalski; G. Levi; U. Montanari. Vol. 1 Springer, 1987. p. 241-255 (Lecture Notes in Computer Science; Vol. 249).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Applications of compactness in the Smyth powerdomain of streams

T2 - extended abstract

AU - Meyer, J.-J.Ch.

AU - Vink, de, E.P.

PY - 1987

Y1 - 1987

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-17660-8_59

DO - 10.1007/3-540-17660-8_59

M3 - Conference contribution

SN - 3-540-17660-8

SN - 978-3-540-17660-2

VL - 1

T3 - Lecture Notes in Computer Science

SP - 241

EP - 255

BT - TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987)

A2 - Ehrig, H.

A2 - Kowalski, R.A.

A2 - Levi, G.

A2 - Montanari, U.

PB - Springer

ER -

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

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

Abstract

Publication series

Access to Document

Fingerprint

Cite this