Denotational models for parallel programs with indeterminate operators

Update Item Information
Publication Type technical report
School or College College of Science
Department Computing, School of
Creator Keller, Robert M.
Title Denotational models for parallel programs with indeterminate operators
Date 1977
Description Several approaches to networks of concurrently-operating modules involving indeterminacy are discussed. Techniques for representing the denotational semantics of such networks, and for verifying properties of them, are presented, including an oracle approach, an axiomatic approach, a data-type reduction approach, and a partial-ordering approach.
Type Text
Publisher University of Utah
First Page 77
Last Page 103
Subject Denotational models; Indeterminate operators
Subject LCSH Denotational semantics; Parallel programs (Computer programs)
Language eng
Bibliographic Citation Keller, Robert M. (1977). Denotational models for parallel programs with indeterminate operators. UTEC-77-103; UUCS-77-103
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 13,818,851 bytes
Identifier ir-main,16100
ARK ark:/87278/s6mp5mkz
Setname ir_uspace
ID 704368
Reference URL https://collections.lib.utah.edu/ark:/87278/s6mp5mkz
Back to Search Results