scientific article

zbMath0666.06005MaRDI QIDQ3818365

Michael W. Mislove

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hyperspacelocally distributivedenotational semanticsnondeterminismsemiprimehigh-level programming languagesSmyth power domain

Mathematics Subject Classification ID

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: