In computer science , the Actor model , first published in 1973 ( Hewitt et al., 1973 ), is a mathematical model of concurrent computation . This article reports on the 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 to item Actor model early history qui carry on the early history of the Actor model qui Concerned the development of the basic concepts. The article Actor model later in this article.
Proving properties of Actor systems
Carl Hewitt  published the principle of Actor induction which is:
- That assumes an Actor x HAS property P When It is created
- Further assumes 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 further Top Developed for proving technical properties of Actor systems Including Those That Make use of migration . Russ Atkinson and Carl Hewitt. Gerry Barber’s doctoral dissertation concerned reasoning about change in knowledgeable office systems.
Garbage collection (the automatic claim of unused storage) was an important theme in the development of the Actor model.
In his doctoral dissertation, Peter Bishop developed an algorithm for garbage collection in distributed systems. Each system kept lists of links to other systems. Cyclic structures were collected by incrementally migrating Actors (objects) over other systems which had their addresses until a cyclic structure was fully contained in a single system where the garbage collector could recover the storage.
Henry Baker developed an algorithm for real-time garbage collection in his doctoral dissertation. The fundamental idea was to interlude with activity activity so it would not be long breaks while collection takes place. See incremental garbage collection .
Henry Lieberman and Carl Hewitt  developed a real time garbage collection based on the lifetimes of Actors (Objects). The fundamental idea was to allocate Actors (objects) in generations so that only the latest generations would be discussed during a garbage collection. See generational garbage collection .
Actor programming languages
Henry Lieberman, Dan Theriault, et al. developed Act1, an Actor programming language. Subsequently for his masters thesis, Dan Theriault developed Act2. These early proofs of concept are rather inefficient and not suitable for applications. In his doctoral dissertation, Ken Kahn developed Ani, which he used to develop several animations. Bill Kornfeld developed the Ether programming language for the Scientific Metaphor Community in his doctoral dissation. William Athas and Nanette Boden  Cantor which is an Actor programming language for scientific computing. Jean-Pierre Briot [1988, 1999] Smalltalk 80 for Actor computations. Christine Tomlinson, Mark Scheevel, Greg Lavender, Greg Meredith, et al.  at MCC developed an Actor programming language for InfoSleuth agents in Rosette.
Carl Hewitt, Beppe Attardi, and Henry Lieberman . This article is based on the following text: Satoshi Matsuoka and Aki Yonezawa 1993, Giuseppe Milicia and Vladimiro Sassone 2004.
A denotational model of Actor systems
In his doctoral dissertation, Will Clinger developed the first denotational model of Actor systems. See the national semantics of the Actor model .
- Carl Hewitt; Peter Bishop and Richard Steiger (1973). “A Universal Modular Actor Formalism for Artificial Intelligence”. IJCAI.
- Carl Hewitt, et al. Actor Induction and Meta-evaluation Conference Record of ACM Symposium on Principles of Programming Languages, January 1974.
- Peter Bishop Very Large Space Modularly Extensible Computer Systems MIT EECS Doctoral Dissertation. June 1977.
- Aki Yonezawa Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics MIT EECS Doctoral Dissertation. December 1977.
- Henry Baker . Actor Systems for Real-Time Computation MIT EECS Doctoral Dissertation. January 1978.
- Ken Kahn. A Computational Theory of Animation MIT EECS Doctoral Dissertation. August 1979.
- Carl Hewitt, Beppe Attardi, and Henry Lieberman. Delegation in Message Passing Proceedings of First International Conference on Distributed Systems Huntsville, AL. October 1979.
- Carl Hewitt and Russ Atkinson. Specification and Proof Techniques for Serializers IEEE Journal on Software Engineering. January 1979.
- Russ Atkinson. Automatic Verification of Serializers MIT Doctoral Dissertation. June, 1980.
- Bill Kornfeld and Carl Hewitt. The Scientific Community IEEE Metaphor Transactions on Systems, Man, and Cybernetics. January 1981.
- Henry Lieberman. Thinking About Lots of Things at Once Without Getting Confused: Parallelism in Act 1 MIT AI memo 626. May 1981.
- Henry Lieberman. A Preview of Act 1 MIT AI memo 625. June 1981.
- Jerry Barber. Reasoning about Change in the Knowledgeable Office Systems MIT EECS Doctoral Dissertation. August 1981.
- Bill Kornfeld. Parallelism in Solving Problem MIT EECS Doctoral Dissertation. August 1981.
- Will Clinger. Foundations of Actor Semantics MIT Mathematics Doctoral Dissertation. June 1981.
- Daniel Theriault. Primer for the Act-1 Language MIT AI memo 672. April 1982 .
- Henry Lieberman and Carl Hewitt. A Real Time Garbage Collector Based on the Lifetimes of Objects CACM June 1983.
- Daniel Theriault. Issues in the Design and Implementation of the Act 2 MIT AI technical report 728. June 1983 .
- Henry Lieberman. An Object-Oriented Simulator for the Apiary Conference of the American Association for Artificial Intelligence, Washington, DC, August 1983
- Carl Hewitt and Peter de Jong. Analyzing the Roles of Descriptions and Actions in Open Systems Proceedings of the National Conference on Artificial Intelligence. August 1983.
- Jean-Pierre Briot. From objects to actors: Study of a limited symbiosis in Smalltalk-80 Research Report 88-58, RXF-LITP, Paris, France, September 1988.
- William Athas and Nanette Boden Cantor: An Actor Programming System for Scientific Computing in Proceedings of the NSF Workshop on Object-Based Concurrent Programming. 1988. Special Issue of SIGPLAN Notices.
- Satoshi Matsuoka and Aki Yonezawa. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages Research in Concurrent Object-Oriented Programming MIT Press. 1993.
- Darrell Woelk. Developing InfoSleuth Agents Using Rosette: An Actor Based Language Proceedings of the CIKM ’95 Workshop on Intelligent Information Agents. 1995.
- Jean-Pierre Briot. Acttalk: A framework for object-oriented competitor programming-design and experience 2nd France-Japan workshop. 1999.
- Giuseppe Milicia and Vladimiro Sassone. The Inheritance Anomaly: Ten Years After SAC. Nicosia, Cyprus. March 2004.