Publication:3812427
From MaRDI portal
zbMath0663.18004MaRDI QIDQ3812427
Publication date: 1988
68Q60: Specification and verification (program logics, model checking, etc.)
06B35: Continuous lattices and posets, applications
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
Related Items
Prevision Domains and Convex Powercones, Characterising FS domains by means of power domains, Two categories of effective continuous cpos, Non-deterministic information systems and their domains, An algebraic approach to stable domains, Coherence and consistency in domains, Information categories, Stable power domains, Approximating labelled Markov processes, Posets having continuous intervals, Fixed points of Scott continuous self-maps, Compact continuous \(L\)-domains