Actor Model Later History - Attempts To Relate Actor Semantics To Algebra and Linear Logic

Attempts To Relate Actor Semantics To Algebra and Linear Logic

Kohei Honda and Mario Tokoro 1991, José Meseguer 1992, Ugo Montanari and Carolyn Talcott 1998, M. Gaspari and G. Zavattaro 1999 have attempted to relate Actor semantics to algebra. Also John Darlington and Y. K. Guo 1994 have attempted to relate linear logic to Actor semantics.

However, none of the above formalisms addresses the crucial property of guarantee of service (see unbounded nondeterminism).

Read more about this topic:  Actor Model Later History

Famous quotes containing the words attempts to, attempts, relate, actor, algebra and/or logic:

    Society gains nothing whilst a man, not himself renovated, attempts to renovate things around him; he has become tediously good in some particular but negligent or narrow in the rest; and hypocrisy and vanity are often the disgusting result.
    Ralph Waldo Emerson (1803–1882)

    Because the soul is progressive, it never quite repeats itself, but in every act attempts the production of a new and fairer whole.
    Ralph Waldo Emerson (1803–1882)

    What strikes many twin researchers now is not how much identical twins are alike, but rather how different they are, given the same genetic makeup....Multiples don’t walk around in lockstep, talking in unison, thinking identical thoughts. The bond for normal twins, whether they are identical or fraternal, is based on how they, as individuals who are keenly aware of the differences between them, learn to relate to one another.
    Pamela Patrick Novotny (20th century)

    I’m notorious for giving a bad interview. I’m an actor and I can’t help but feel I’m boring when I’m on as myself.
    Rock Hudson (1925–1985)

    Poetry has become the higher algebra of metaphors.
    José Ortega Y Gasset (1883–1955)

    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)