Local DCPOs, local CPOs and local completions

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 399-412

  Mislove, Michael W ^a  

^a Tulane University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR ALGEBRA; MAPPING; MAPS; MATHEMATICAL MODELS; SEMANTICS; TOPOLOGY;

CLOSED SUBSETS; POSETS; SOBRIFICATION;

COMPUTER SCIENCE;

EID: 0038479890     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80085-9     Document Type: Conference Paper

References (12)

1. Brookes S., Hoare C.A.R., Roscoe A.W. The failures model for communicating sequential processes. Journal of the ACM. 1984
2. Edalat A. Domain theory and integration. Theoretical Computer Science. 151:1995;163-193
3. Edalat A. Dynamical systems, measures and fractals via domain theory. Information and Computation. 120:1995;32-48
4. Edalat A. Power domains and iterated function spaces. Information and Computation. 124:1995;182-197
5. Edalat A., Heckmann R. A computational model for metric spaces. Theoretical Computer Science. 193:1998;53-73
6. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., Scott D. A Compendium of Continuous Lattices. 1980;377 Springer-Verlag, Berling Heidelberg, New York
7. Lawson J. Maximal point spaces. Mathematical Structures for Computer Science. 1997
8. Martin. K., Ph.D. Dissertation, Tulane University, in preparation
9. Mislove M.W. Algebraic posets, algebraic cpos and models of concurrency. Reed G.M., Roscoe A.W., Wachter R. Topology and Category Theory for Computer Science. 1991;Oxford University Press
10. Mislove M.W. Topology, domain theory and theoretical computer science. Topology and Its Applications 89. 1998;3-59 Elsevier Science
11. Mislove, M. W. and F. J. Oles, Cartesian closed categories of domains, Fundamenta Informaticae 22 (1994)
12. Zhang, Han, "Dualities of Domains," Tulane University Ph.D. Dissertation, 1993.