Modelling angelic and demonic nondeterminism with multirelations
The work
| Authors | C.E. Martin; S.A. Curtis; I. Rewitzky |
|---|---|
| Type | article |
| Year | 2007 |
| Citekey | martin2007modelling |
Where it appeared
| Published in | Science of Computer Programming |
|---|---|
| Publisher | Elsevier BV |
| Volume | 65 |
| Issue | 2 |
| Pages | 140--158 |
Identifiers
| DOI | 10.1016/j.scico.2006.01.007 |
|---|
Access
| Landing page | https://doi.org/10.1016/j.scico.2006.01.007 |
|---|
Abstract
This paper presents an introduction to a calculus of binary multirelations, which can model both angelic and demonic kinds of non-determinism. The isomorphism between up-closed multirelations and monotonic predicate transformers allows a different view of program transformation, and program transformation calculations using multirelations are easier to perform in some circumstances. Multirelations are illustrated by modelling both kinds of nondeterministic behaviour in games and resource-sharing protocols.
A copy is held
pdf, 377.3 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-08-16 00:00 UTC |
| Approved by | a person 2026-08-16 22:17 UTC |
Filed under
Cite it as
@article{martin2007modelling,
title = {Modelling angelic and demonic nondeterminism with multirelations},
author = {C.E. Martin and S.A. Curtis and I. Rewitzky},
year = {2007},
journal = {Science of Computer Programming},
volume = {65},
number = {2},
pages = {140--158},
publisher = {Elsevier BV},
doi = {10.1016/j.scico.2006.01.007},
}
This record lives at https://refs.drheap.org/martin2007modelling/ and will keep doing so.