Actor Semantics of Planner-73

@inproceedings{Greif1975ActorSO,
  title={Actor Semantics of Planner-73},
  author={Irene Greif and Carl Hewitt},
  booktitle={POPL},
  year={1975}
}
Work on PLANNER-73 and actors has led to the development of a basis for semantics of programming languages. Its value in describing programs with side-effects, parallelism, and synchronization is discussed. Formal definitions are written and explained for sequences, cells, and a simple synchronization primitive. In addition there is discussion of the implications of actor semantics for the controversy over elimination of side-effects.