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:
“What is
there in being able
to say that one has dominated the stream in an attitude of
self-defense;
in proving that one has had the experience
of carrying a stick?”
—Marianne Moore (1887–1972)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)
“The actor is too prone to exaggerate his powers; he wants to play Hamlet when his appearance is more suitable to King Lear.”
—Sarah Bernhardt (1845–1923)
“What is most original in a man’s nature is often that which is most desperate. Thus new systems are forced on the world by men who simply cannot bear the pain of living with what is. Creators care nothing for their systems except that they be unique. If Hitler had been born in Nazi Germany he wouldn’t have been content to enjoy the atmosphere.”
—Leonard Cohen (b. 1934)