Indeterminacy in Concurrent Computation - A Limitation of Logic Due To Lack of Information

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)

    Somebody who should have been born
    is gone.

    Yes, woman, such logic will lead
    to loss without death. Or say what you meant,
    you coward . . . this baby that I bleed.
    Anne Sexton (1928–1974)

    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 leave the governor’s office next week, and with it public life ... [which] has been on the whole a pleasant one. But for ten years and over my salaries have not equalled my expenses, and there has been a feeling of responsibility, a lack of independence, and a necessary neglect of my family and personal interests and comfort, which make the prospect of a change comfortable to think of.
    Rutherford Birchard Hayes (1822–1893)

    English literature is a kind of training in social ethics.... English trains you to handle a body of information in a way that is conducive to action.
    Marilyn Butler (b. 1937)