From partial orders with projections to domains: Extended abstract

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 334-345

  Kummetz, Ralph ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL GEOMETRY; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

BIFINITE DOMAINS; DENOTATIONAL SEMANTICS; PARTIAL ORDERS; SCOTT DOMAINS;

SEMANTICS;

EID: 19344373148     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80082-3     Document Type: Conference Paper

References (12)

1. Abramsky S., Jung A. Domain Theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. Volume 3:1994;1-168 Clarendon Press. chapter 1
2. Baier C., Majster-Cederbaum M. Metric semantics from partial order semantics. Acta Inf. 34:1997;701-735
3. Bourbaki N. "Elements of Mathematics, General Topology," Parts 1 and 2. 1996;Herman, Paris
4. Ehrig H., Parisi-Presicce F., Boehm P., Rieckhoff C., Dimitrovici C., Große-Rhode M. Combining data type and process specifications using projection algebras. Theor. Comput. Sci. 71:1990;347-380
5. M. Große-Rhode, Parameterized data type and process specifications using projection algebras, In: Categories Methods in Computer Science - with Aspects from Topology (H. Ehrig, H. Herrlich, H.-j. Kreowski, G. Preuß, eds.). Lect. Notes Comput. Sci. 393 (1989), 185-197.
6. M. Große-Rhode and H. Ehrig, Transformation of combined data type and process specifications using projection algebras, In: Stepwise Refinement of Distributed Systems (J. W. de Bakker, W.-P. de Roever, G. Rozenberg, eds). Lect. Notes Comput. Sci. 430 1989, 301-339.
7. Gunter C., "Profinite Solutions for Recursive Domain Equations," Ph.D. Thesis, University of Wisconsin, Madison 1985.
8. Jung, A, "Cartesian Closed Categories of Domains," CWI tract no. 66, Amsterdam 1989.
9. Kelley J.L. General Topology. 1955;Van Nostrand, New Jersey
10. Plotkin G.D. A powerdomain construction. SIAM J. Comput. 5:1976;452-487
11. Scott, D.S., Continuous lattices. In: Toposes, Algebraic Geometry and Logic (E. Lawvere, ed.). Lect. Notes Math. 274 (1972), 97-136.
12. Spreen D. On functions preserving levels of approximation: a refined model construction for various lambda calculi. Theor. Comput. Sci. 212:1999;261-303