Applications of compactness in the Smyth powerdomain of streams

DOI10.1016/0304-3975(88)90042-4MaRDI QIDQ1107301zbMATHOpenAlexFDO

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

zbMATH Keywords

compactnesscontinuityconcurrencydenotational semanticslogic programmingpowerdomains of streamsSmyth ordering

Mathematics Subject Classification ID

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

Recommendations

• Publication:4721635
• scientific article; zbMATH DE number 4089615
• Consistent Smyth powerdomains.
• scientific article; zbMATH DE number 883894
• Domain theory and topology.

Cites work

• scientific article; zbMATH DE number 3888910 (Why is no real title available?)
• scientific article; zbMATH DE number 3172146 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3890714 (Why is no real title available?)
• scientific article; zbMATH DE number 3808940 (Why is no real title available?)
• scientific article; zbMATH DE number 3903936 (Why is no real title available?)
• scientific article; zbMATH DE number 3903945 (Why is no real title available?)
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• A Powerdomain Construction
• A calculus of communicating systems
• A continuous semantics for unbounded nondeterminism
• Hiding in stream semantics of uniform concurrency
• Infinite streams and finite observations in the semantics of uniform concurrency
• Linear time and branching time semantics for recursion with merge
• Merging regular processes by means of fixed-point theory
• Power domains
• Process algebra for synchronous communication
• Recursion equations as a programming language
• Specification-oriented semantics for communicating processes
• Stream Processing Functions

Cited in

(3)

• scientific article; zbMATH DE number 3995033 (Why is no real title available?)
• Designing equivalent semantic models for process creation
• Hiding in stream semantics of uniform concurrency

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)