Power Domains As Free Models of Theories of Non-determinism
Domain theorists have come to understand power domains abstractly as free models for theories of non-determinism. Just as the finite-powerset construction is the free semilattice, the powerdomain constructions should be understood abstractly as free models of theories of non-determinism. By changing the theories of non-determinism, different power domains arise.
The abstract characterisation of powerdomains is often the easiest way to work with them, because explicit descriptions are so intricate. (One exception is the Hoare powerdomain, which has a rather straightforward description.)
Read more about this topic: Power Domains
Famous quotes containing the words power, domains, free, models and/or theories:
“I am willing, for a money consideration, to test this physical strength, this nervous force, and muscular power with which I’ve been gifted, to show that they will bear a certain strain. If I break down, if my brain gives way under want of sleep, my heart ceases to respond to the calls made on my circulatory system, or the surcharged veins of my extremities burst—if, in short, I fall helpless, or it may be, dead on the track, then I lose my money.”
—Ada Anderson (1860–?)
“I shall be a benefactor if I conquer some realms from the night, if I report to the gazettes anything transpiring about us at that season worthy of their attention,—if I can show men that there is some beauty awake while they are asleep,—if I add to the domains of poetry.”
—Henry David Thoreau (1817–1862)
“Some are “industrious,” and appear to love labor for its own sake, or perhaps because it keeps them out of worse mischief; to such I have at present nothing to say. Those who would not know what to do with more leisure than they now enjoy, I might advise to work twice as hard as they do,—work till they pay for themselves, and get their free papers.”
—Henry David Thoreau (1817–1862)
“Friends broaden our horizons. They serve as new models with whom we can identify. They allow us to be ourselves—and accept us that way. They enhance our self-esteem because they think we’re okay, because we matter to them. And because they matter to us—for various reasons, at various levels of intensity—they enrich the quality of our emotional life.”
—Judith Viorst (20th century)
“Generalisation is necessary to the advancement of knowledge; but particularly is indispensable to the creations of the imagination. In proportion as men know more and think more they look less at individuals and more at classes. They therefore make better theories and worse poems.”
—Thomas Babington Macaulay (1800–1859)