TO
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "Denotational models"
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Keller, Robert M. | Denotational models for parallel programs with indeterminate operators | 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 reduc... | Denotational models; Indeterminate operators | 1977 |
1 - 25 of 1