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:
“Swift as a shadow, short as any dream,
Brief as the lightning in the collied night,
That in a spleen unfolds both heaven and earth,
And, ere a man hath power to say “Behold!”
The jaws of darkness do devour it up.
So quick bright things come to confusion.”
—William Shakespeare (1564–1616)
“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)
“A free spirit takes liberties even with liberty itself.”
—Francis Picabia (1878–1953)
“Today it is not the classroom nor the classics which are the repositories of models of eloquence, but the ad agencies.”
—Marshall McLuhan (1911–1980)
“The wise man regulates his conduct by the theories both of religion and science. But he regards these theories not as statements of ultimate fact but as art-forms.”
—J.B.S. (John Burdon Sanderson)