*** Welcome to piglix ***

Actor model and process calculi history


The Actor model and process calculi share an interesting history and co-evolution.

The Actor model, first published in 1973, is a mathematical model of concurrent computation. The Actor model treats “Actors” as the universal primitives of concurrent digital computation: in response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and determine how to respond to the next message received.

As opposed to the previous approach based on composing sequential processes, the Actor model was developed as an inherently concurrent model. In the Actor model sequentiality was a special case that derived from concurrent computation as explained in Actor model theory.

Robin Milner's initial published work on concurrency from the same year was also notable in that it positions mathematical semantics of communicating processes as a framework to understand a variety of interaction agents including the computer's interaction with memory. The framework of modelling was based on Scott's model of domains and as such was not based on sequential processes. His work differed from the Actor model in the following ways:

Milner later removed some of these restrictions in his work on the Pi calculus (see section Milner, et al. below).

The publication by Tony Hoare in 1978 of the original Communicating Sequential Processes was different from the Actor model which states:

The 1978 version of CSP differed from the Actor model in the following respects [Clinger 1981]:

In his Turing lecture, Milner remarked as follows:

In 2003, Ken Kahn recalled in a message about the Pi calculus:

Tony Hoare, Stephen Brookes, and A. W. Roscoe developed and refined the theory of CSP into its modern form. The approach taken in developing the theoretical version of CSP was heavily influenced by Robin Milner's work on the Calculus of Communicating Systems (CCS), and vice versa. Over the years there have been many fruitful exchanges of ideas between the researchers working on both CSP and CCS.


...
Wikipedia

...