Greif, Irene; Hewitt, Carl
(MIT Artificial Intelligence Laboratory, 1974-11)
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 ...