Applications of compactness in the Smyth powerdomain of streams
DOI10.1016/0304-3975(88)90042-4zbMATH Open0652.68027OpenAlexW2080849782MaRDI QIDQ1107301FDOQ1107301
Authors: Erik de Vink, John-Jules 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
Recommendations
compactnesscontinuityconcurrencydenotational semanticslogic programmingpowerdomains of streamsSmyth ordering
Specification and verification (program logics, model checking, etc.) (68Q60) Compactness (54D30) Theory of computing (68Q99)
Cites Work
- Title not available (Why is that?)
- A continuous semantics for unbounded nondeterminism
- Process algebra for synchronous communication
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of communicating systems
- Title not available (Why is that?)
- A Powerdomain Construction
- Specification-oriented semantics for communicating processes
- Title not available (Why is that?)
- Power domains
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Infinite streams and finite observations in the semantics of uniform concurrency
- Linear time and branching time semantics for recursion with merge
- Title not available (Why is that?)
- Merging regular processes by means of fixed-point theory
- Recursion equations as a programming language
- Stream Processing Functions
- Title not available (Why is that?)
- Hiding in stream semantics of uniform concurrency
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Applications of compactness in the Smyth powerdomain of streams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107301)
