The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intelligence. This book addresses central issues in concurrency, and by producing both a syntactic defini
ACTORS: A Model of Concurrent Computation in Distributed Systems
β Scribed by Agha G.A.
- Publisher
- MIT
- Year
- 1986
- Tongue
- English
- Leaves
- 153
- Series
- The Mit Press Series in Artificial Intelligence
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intelligence. This book addresses central issues in concurrency, and by producing both a syntactic definition and a denotational model of Hewitt's actor paradigmΠ²Πβa model of computation specifically aimed at constructing and analyzing distributed large-scale parallel systemsΠ²Πβit substantially advances the understanding of parallel computation.
Contents: Introduction. General Design Decisions. Computation in ACTOR Systems. A More Expressive Language. A Model for ACTOR Systems. Concurrency Issues. Abstraction and Compositionality. Conclusions
π SIMILAR VOLUMES
Computer models of water distribution systems are tools that have evolved over time to help water system designers, operators, and managers deliver safe, reliable water at low cost. This manual provides water professionals the basics of distribution system modeling, including information on model pr
Updated from the 2004 edition, modeling lets designers predict the performance of water distribution systems to solve a wide variety of design, operational, and water quality problems. This basic primer manual provides distribution engineers and operators with information on developing and using com
Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level des