scientific article
From MaRDI portal
zbMath0663.18004MaRDI QIDQ3812427
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
KF-CONTINUOUS SPACES AND KF-QUASICONTINUOUS SPACES, Formal contexts for algebraic domains, Pseudo-retract functors for local lattices and bifinte L-domains, L-domains and lossless powerdomains, Stable power domains, Unnamed Item, Two categories of effective continuous cpos, Approximating labelled Markov processes, Topological representations of Lawson compact algebraic L-domains and Scott domains, A simple language supporting angelic nondeterminism and parallel composition, An upper power domain construction in terms of strongly compact sets, Unnamed Item, Non-deterministic information systems and their domains, An algebraic approach to stable domains, Compact continuous \(L\)-domains, Posets having continuous intervals, Maximal classes of spaces and domains determined by topologies on function spaces of domains, Characterising FS domains by means of power domains, Prevision Domains and Convex Powercones, Continuous L-domains in logical form, Coherence and consistency in domains, On the equivalence of Rudin's lemma and the Boolean prime ideal theorem, Information categories, Fixed points of Scott continuous self-maps
