| Publication Type |
technical report |
| School or College |
College of Science |
| Department |
Kahlert School of Computing |
| 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 |
