|
In computer science, the Actor model, first published in 1973 , is a mathematical model of concurrent computation. This article reports on the middle history of the Actor model in which major themes were initial implementations, initial applications, and development of the first proof theory and denotational model. It is the follow on article to Actor model early history which reports on the early history of the Actor model which concerned the basic development of the concepts. The article Actor model later history reports on developments after the ones reported in this article. ==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. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Actor model middle history」の詳細全文を読む スポンサード リンク
|