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:
“The French are certainly misunderstood:Mbut whether the fault is theirs, in not sufficiently explaining themselves; or speaking with that exact limitation and precision which one would expect ... or whether the fault may not be altogether on our side ... I shall not decide.”
—Laurence Sterne (1713–1768)
“Though living is a dreadful thing
And a dreadful thing is it
Life the niggard will not thank,
She will not teach who will not sing,
And what serves, on the final bank,
Our logic and our wit?”
—Philip Larkin (1922–1986)
“It is due to justice; due to humanity; due to truth; to the sympathies of our nature; in fine, to our character as a people, both abroad and at home, that they should be considered, as much as possible, in the light of human beings, and not as mere property.”
—James Madison (1751–1836)
“In all the good Greek of Plato
I lack my roastbeef and potato.
A better man was Aristotle,
Pulling steady on the bottle.”
—John Crowe Ransom (1888–1974)
“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)