Please use this identifier to cite or link to this item: doi:10.22028/D291-25702
Title: Power domain constructions
Other Titles: Potenzbereich-Konstruktionen
Author(s): Heckmann, Reinhold
Language: English
Year of Publication: 1990
SWD key words: Potenzbereich-Konstruktion
DDC notations: 004 Computer science, internet
Publikation type: Doctoral Thesis
Abstract: The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is specified by means of axioms concerning the algebraic properties of the basic operations empty set, union, singleton, and extension of functions. A host of derived operations is introduced and investigated algebraically. Every power construction is shown to be equipped with a characteristic semiring such that the resulting power domains become semiring modules. Power homomorphisms are introduced as a means to relate different power constructions. They also allow to define the notion of initial and final constructions for a fixed characteristic semiring. Such initial and final constructions are shown to exist for every semiring, and their basic properties are derived. Finally, the known power constructions are put into the general framework of this paper.
Liegt nicht vor.
Link to this record: urn:nbn:de:bsz:291-scidok-1887
hdl:20.500.11880/25758
http://dx.doi.org/10.22028/D291-25702
Advisor: Reinhard Wilhelm
Date of oral examination: 1-Jan-1990
Date of registration: 6-Apr-2004
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
ReinholdHeckmann_ProfDrReinhardWilhelm.pdf2,54 MBAdobe PDFView/Open


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.