✦ LIBER ✦

Modelling angelic and demonic nondeterminism with multirelations

✍ Scribed by C.E. Martin; S.A. Curtis; I. Rewitzky

Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 333 KB
Volume: 65
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.01.007

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Terms with unbounded demonic and angelic

Terms with unbounded demonic and angelic nondeterminacy

✍ Joseph M. Morris; Malcolm Tyrrell 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 305 KB

We show how to introduce demonic and angelic nondeterminacy into the term language of each type in typical programming or specification language. For each type we introduce (binary infix) operators and on terms of the type, corresponding to demonic and angelic nondeterminacy, respectively. We genera

Deals With Demons: Angels and Demons

✍ Davies, Victoria 📂 Fiction 🌐 English ⚖ 76 KB

_Remembering the past can be painful. Ignoring it can be deadly._ An _Angels and Demons_ story. In a world filled with magic, demons and death, Talia survives using her inborn ability to sense and track demons. A handy skill for a demon hunter. There’s one demon, though, who’s never far from her m

Deals with Demons: Angels and Demons

✍ Davies, Victoria 📂 Fiction 🌐 English ⚖ 76 KB

Remembering the past can be painful. Ignoring it can be deadly. An Angels and Demons story. In a world filled with magic, demons and death, Talia survives using her inborn ability to sense and track demons. A handy skill for a demon hunter. There’s one demon, though, who’s never far from her mind or

Modeling with interactive computer metho

Modeling with interactive computer methods : A. H. Hevesh and J. W. Sullivan. Proc. IEEE A. Reliab. Maintainab. Symp., Los Angeles, 17–19 January 1978, p. 324

📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 131 KB