Partial information systems and the Smyth powerdomain

Rok, strany: 2012, 621 - 632

The dual of the join semilattice of proper compact Scott open subsets of a domain $D$ is called the Smyth powerdomain of $D$. The Smyth powerdomain is used in programming semantics as a model for demonic nondeterminism. In this paper, we introduce the concept of partial information systems; and, as an application, show that the Smyth powerdomain of any domain can be realized in terms of the sub partial information systems of the domain's corresponding information system.

ISO 690:

Hart, J. 2012. Partial information systems and the Smyth powerdomain. In Mathematica Slovaca, vol. 62, no.4, pp. 621-632. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0035-8

APA:

Hart, J. (2012). Partial information systems and the Smyth powerdomain. Mathematica Slovaca, 62(4), 621-632. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0035-8