Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
BYTE - Lecture notes in computer science Vol. 174
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
A VLSI architecture for concurrent data structures
A VLSI architecture for concurrent data structures
Vulcan: logical concurrent objects
Research directions in object-oriented programming
A subset of Concurrent Prolog and its interpreter
Concurrent Prolog
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Functional Programming
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
Fine Grain Concurrent Computations
Fine Grain Concurrent Computations
Foundations of Actor Semantics
Foundations of Actor Semantics
An introduction to object-based reflective concurrent computation
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Dealing with atomicity in object-based distributed systems
ACM SIGPLAN OOPS Messenger
Hi-index | 0.00 |
We first describes the state of the art in models of concurrency. The models are analyzed along two dimensions: communication and computation. The paper then discusses some problems which make it difficult to realize large-scale concurrent systems. Such problems include compositionality, heterogeneity, debugging, resource management, and concurrency control. Some useful comparisons are drawn to problems in distributed databases and it is argued that solutions to these problems cross disciplinary boundaries. Finally, the paper discusses trends in building concurrent computers and provides some expectations for the future.