Characterising FS domains by means of power domains

DOI10.1016/S0304-3975(00)00222-XzbMath0973.68135WikidataQ126864005 ScholiaQ126864005MaRDI QIDQ5941557

No author found.

Publication date: 20 August 2001

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

zbMATH Keywords

FS domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (8)

Unnamed Item ⋮ QFS-domains and their Lawson compactness ⋮ On \(FS_+\)-domains ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Consistent Smyth powerdomains. ⋮ QFS-domains and quasicontinuous domains.

Cites Work

• Power domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characterising FS domains by means of power domains