scientific article
From MaRDI portal
Publication:3818365
zbMath0666.06005MaRDI QIDQ3818365
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hyperspacelocally distributivedenotational semanticsnondeterminismsemiprimehigh-level programming languagesSmyth power domain
Specification and verification (program logics, model checking, etc.) (68Q60) Continuous lattices and posets, applications (06B35)
Related Items (3)
On \(FS_+\)-domains ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Consistent Smyth powerdomains.
This page was built for publication: