Proving Properties of Actor Systems
Carl Hewitt published the principle of Actor induction which is:
- Suppose that an Actor x has property P when it is created
- Further suppose that if x has property P when it processes a message, then it has property P when it processes the next message.
- Then x always has the property P.
In his doctoral dissertation, Aki Yonezawa developed further techniques for proving properties of Actor systems including those that make use of migration. Russ Atkinson and Carl Hewitt developed techniques for proving properties of Serializers that are guardians of shared resources. Gerry Barber's doctoral disseration concerned reasoning about change in knowledgeable office systems.
Read more about this topic: Actor Model Middle History
Famous quotes containing the words proving, properties, actor and/or systems:
“Indeed, the best books have a use, like sticks and stones, which is above or beside their design, not anticipated in the preface, not concluded in the appendix. Even Virgil’s poetry serves a very different use to me today from what it did to his contemporaries. It has often an acquired and accidental value merely, proving that man is still man in the world.”
—Henry David Thoreau (1817–1862)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“An actor rides in a bus or railroad train; he sees a movement and applies it to a new role. A woman in agony of spirit might turn her head just so; a man in deep humiliation probably would wring his hands in such a way. From straws like these, drawn from completely different sources, the fabric of a character may be built. The whole garment in which the actor hides himself is made of small externals of observation fitted to his conception of a role.”
—Eleanor Robson Belmont (1878–1979)
“People stress the violence. That’s the smallest part of it. Football is brutal only from a distance. In the middle of it there’s a calm, a tranquility. The players accept pain. There’s a sense of order even at the end of a running play with bodies stewn everywhere. When the systems interlock, there’s a satisfaction to the game that can’t be duplicated. There’s a harmony.”
—Don Delillo (b. 1926)