𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Terms with unbounded demonic and angelic nondeterminacy

✍ Scribed by Joseph M. Morris; Malcolm Tyrrell

Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
305 KB
Volume
65
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

✦ Synopsis

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 generalise these operators to accommodate unbounded nondeterminacy. We axiomatise the operators and derive their important properties. We show that a suitable model for nondeterminacy is the free completely distributive complete lattice over a poset, and we use this to show that our axiomatisation is sound. In the process, we exhibit a strong relationship between nondeterminacy and free lattices that has not hitherto been evident.

πŸ“œ SIMILAR VOLUMES

Modelling angelic and demonic nondetermi
Modelling angelic and demonic nondeterminism with multirelations
✍ C.E. Martin; S.A. Curtis; I. Rewitzky πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 333 KB

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 transfor

cover
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

cover
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

Decay estimates of solutions for the wav
Decay estimates of solutions for the wave equations with strong damping terms in unbounded domains
✍ Ryo Ikehata πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 105 KB πŸ‘ 1 views

## Abstract This paper is concerned with some uniform energy decay estimates of solutions to the linear wave equations with strong dissipation in the exterior domain case. We shall derive the decay rate such as $(1+t)E(t)\le C$\nopagenumbers\end for some kinds of weighted initial data, where __E__(