A Limitation of Logic Due To Lack of Information
An open Actor system S is one in which the addresses of outside Actors can be passed into S in the middle of computations so that S can communicate with these outside Actors. These outside Actors can then in turn communicate with Actors internal to S using addresses supplied to them by S. Due to limitation of the inability to deduce arrival orderings, knowledge of what messages are sent from outside would not enable the response of S to be deduced. When other models of concurrent systems ( e.g., process calculi) are used to implement open systems, these systems also can have behavior that depends on arrival time orderings and so cannot be implemented by logical deduction.
Read more about this topic: Indeterminacy In Concurrent Computation
Famous quotes containing the words limitation, logic, due, lack and/or information:
“When we get to wishing a great deal for ourselves, whatever we get soon turns into mere limitation and exclusion.”
—George Eliot [Mary Ann (or Marian)
“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
—Henry David Thoreau (1817–1862)
“From his childhood onwards this boy will be surrounded by sycophants and flatterers.... In due course, following the precedent which has already been set, he will be sent on a tour of the world and probably rumours of a morganatic marriage alliance will follow, and the end of it will be the country will be called upon to pay the bill.”
—James Keir Hardie (1856–1915)
“I never meet anyone nowadays who admits to having had a happy childhood. Everyone appears to think happiness betokens a lack of sensitivity.”
—Jessamyn West (1907–1984)
“I was brought up to believe that the only thing worth doing was to add to the sum of accurate information in the world.”
—Margaret Mead (1901–1978)