Messages as active agents

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1982, Pages 34-39

  Wall, David W ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE AGENTS; ACTIVE MESSAGE; LOGICAL EQUIVALENCE; NETWORK ALGORITHMS; NETWORK NODE;

EID: 84944830078     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/582153.582157     Document Type: Conference Paper

References (20)

1. Gregory R. Andrews. Synchronizing resources. Transactions on Programming Languages and Systems 3, 4 (October 1981), pages 405-430.
2. Russell Atkinson and Carl Hewitt. Synchronization in actor systems. Proceedings of the Fourth Symposium on the Principles of Programming Languages (January 1977), pages 267-280.
3. Per Brinch Hansen. Distributed processes: A concurrent programming concept. Communications of the ACM 21, 11 (November 1978), pages 934-941.
4. Per Brinch Hansen. Operating System Principles. Prentice-Hall, 1973.
5. Per Brinch Hansen. The programming language Concurrent Pascal. IEEE Transactions on Software Engineering SE-1, 2 (June 1975), pages 199-207.
6. Lorinda Cherry. Computer aids for writers. SIGPLAN Notices 16, 6 (June 1981), pages 61-67.
7. Yogen Kantilal Dalai. Broadcast Protocols In Packet Switched Computer Networks. PhD thesis, Stanford University, April 1977. (Computer Systems Lab Technical Report 128.)
8. Jerome A. Feldman. High level programming for distributed computing. Communications of the ACM 22, 6 (June 1979), pages 353-368.
9. Donald I. Good, Richard M. Cohen, and James Keeton-Williams. Principles of proving concurrent programs in Gypsy. Proceedings of the Sixth Symposium on the Principles of Programming Languages (January 1979), pages 42-52.
10. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM 21, 8 (August 1978), pages 666-677.
11. C.A.R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM 17, 10 (October 1974), pages 549-557.
12. J.D. Ichbiah, et al. Preliminary Ada reference manual. SIGPLAN Notices 14, 6 (June 1979), part A.
13. Hugh C. Lauer and Roger M. Needham. On the duality of operating system structures. Proceedings of the Second International Symposium on Operating Systems, IRIA, 1978. Also appeared in Operating Systems Reivew 13, 2 (April 1979), pages 3-19.
14. John M. McQuillan. Adaptive Routing Algorithms for Distributed Networks. PhD thesis, Harvard University, May 1974 (BBN Report 2831).
15. John M. McQuillan, Ira Richer, and Eric C. Rosen. An overview of the new routing algorithm for the ARPANET. Sixth Data Communications Symposium, November 1979, pages 63-68.
16. R.C. Prim. Shortest connection networks and some generalizations. Bell System Technical Journal 36, 6 (November 1957), pages 1389-1401.
17. Dennis M. Ritchie and Ken Thompson. The UNIX time-sharing system. Communications of the ACM 17, 7 (July 1974), pages 365-375.
18. K.C. Sevcik, J.W. Atwood, M.S. Grushcow, R.C. Holt, J.J. Horning, and D. Tsichritzis. Project SUE as a learning experience. Proceedings of the Fall Joint Computer Conference 1972, Volume 41, pages 331-338. AFIPS Press.
19. David Wayne Wall. Mechanisms for Broadcast and Selective Broadcast. PhD thesis, Stanford University, June 1980 (Computer Systems Lab Technical Report 190).
20. David W. Wall and Susan Owicki. The correctness of two network algorithms. In preparation.