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:
“People ask me: “Why do you write about food, and eating, and drinking? Why don’t you write about the struggle for power and security, and about love, the way the others do?”... The easiest answer is to say that, like most other humans, I am hungry.”
—M.F.K. Fisher (1908–1992)
“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)
“American future lies in the East. The great free markets of the Pacific Rim are the American destiny.”
—Donald Freed, U.S. screenwriter, and Arnold M. Stone. Robert Altman. Richard Nixon (Philip Baker Hall)
“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 egoism which enters into our theories does not affect their sincerity; rather, the more our egoism is satisfied, the more robust is our belief.”
—George Eliot [Mary Ann (or Marian)