Smyth, M. B. (Michael B.) (1976) Powerdomains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Preview

Text WRAP_Smyth_cs-rr-012.pdf - Published Version Download (1261Kb) | Preview

Request Changes to record.

Abstract

If the meaning of a deterministic program may be considered to be a function from D to D, where D is some domain of "states", then it would seem that the meaning of a non-deterministic program is a function from D to 2D, or perhaps from 2D to 2D. To apply the methods of fixpoint semantics, then we should find some way to construe the power-set of a domain as itself a domain, with a suitable ordering.

Item Type:	Report
Subjects:	Q Science > QA Mathematics
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Partially ordered sets, Computer programs -- Mathematical models
Series Name:	Theory of Computation Report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	May 1976
Dates:	Date Event May 1976 ["eprint_fieldopt_dates_date_type_available" not defined]
Number:	Number 12
Number of Pages:	21
DOI:	CS-RR-012
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Access rights to Published version:	Open Access (Creative Commons)
Date of first compliant deposit:	1 August 2016
Date of first compliant Open Access:	1 August 2016

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads