Monitors: an operating system structuring concept
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Proceedings of ACM conference on Proving assertions about programs
Conversational systems programming by incremental extension of system configuration
Proceedings of the international symposium on Extensible languages
Language-qa4: a procedural calculus for intuitive reasoning.
Language-qa4: a procedural calculus for intuitive reasoning.
Simula Begin
Distributed decision making: a research agenda
ACM SIGOIS Bulletin
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synchronization in actor systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computer animation with scripts and actors
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Language facilities for programmable backtracking
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The design of an object oriented architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Robust evaluation of expressions by distributed virtual machines
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
| Hi-index | 0.01 |
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.