Protection and Synchronization in Actor Systems

[1]  Guy L. Steele,et al.  Multiprocessing compactifying garbage collection , 1975, CACM.

[2]  Brian Cantwell Smith,et al.  Towards a programming apprentice , 1974, IEEE Transactions on Software Engineering.

[3]  Carl Hewitt,et al.  Actor semantics of PLANNER-73 , 1975, POPL '75.

[4]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[5]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[6]  Carl Hewitt,et al.  Actor induction and meta-evaluation , 1973, POPL.

[7]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[8]  David Canfield Smith,et al.  The LISP7O Pattern Matching System , 1973, IJCAI.

[9]  C. A. R. Hoare,et al.  An Axiomatic Definition of the Programming Language PASCAL , 1973, Acta Informatica.

[10]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[11]  John C. Reynolds,et al.  Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[12]  Ole-Johan Dahl,et al.  Coroutine sequencing in a block structured environment , 1971 .

[13]  John C. Reynolds,et al.  GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept , 1970, Commun. ACM.

[14]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[15]  David Allen Fisher,et al.  Control structures for programming languages , 1970 .

[16]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.