Partial information systems and the Smyth powerdomain |
| |
Authors: | James B Hart |
| |
Institution: | 1. Department of Mathematical Sciences, Middle Tennessee State University, Murfreesboro, TN, 37132, USA
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|