Applications of compactness in the Smyth powerdomain of streams

DOI10.1016/0304-3975(88)90042-4zbMath0652.68027OpenAlexW2080849782MaRDI QIDQ1107301

E. P. de Vink, John-Jules Ch. Meyer

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90042-4

zbMATH Keywords

continuitycompactnessdenotational semanticslogic programmingconcurrencypowerdomains of streamsSmyth ordering

Mathematics Subject Classification ID

Compactness (54D30) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Related Items (2)

Designing equivalent semantic models for process creation ⋮ Hiding in stream semantics of uniform concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification-oriented semantics for communicating processes
• Merging regular processes by means of fixed-point theory
• Infinite streams and finite observations in the semantics of uniform concurrency
• Hiding in stream semantics of uniform concurrency
• A calculus of communicating systems
• A continuous semantics for unbounded nondeterminism
• Power domains
• Linear time and branching time semantics for recursion with merge
• Recursion Equations as a Programming Language
• Process algebra for synchronous communication
• Stream Processing Functions
• A Powerdomain Construction

This page was built for publication: Applications of compactness in the Smyth powerdomain of streams