参考文献

[1] Gul A. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, Massachusetts, 1986.

[2] Yariv Aridor. An Efficient Software Environment for Implicit Parallel Programming with a Multi-Paradigm Language. PhD thesis, the Senate of Tel-Aviv University, 1995.

[3] W. C. Athas and C. L. Seitz. Cantor user report version 2.0. Technical report, Computer Science Department, California Institute of Technology, 1987.

[4] Henri E. Bal, M. Frans Kaashoek, and Andrew S. Tanenbaum. Orca: A language for parallel programming of distributed systems. IEEE Transactions on Software Engineering, 18(3):190-205, March 1992.

[5] Luca Cardelli. A language with distributed scope. In Conference Record on POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 286-297, 1995.

[6] Rohit Chandra, Anoop Gupta, and John L. Hennessy. Data locality and load balancing in COOL. In Proceedings of the ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, pages 249-259, 1993.

[7] K. Mani Chandy and Carl Kesselman. CC++: A declarative concurrent object-oriented programming notation. In Gul Agha, Peter Wegner, and Akinori Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, chapter 11, pages 281-313. The MIT Press, 1993.

[8] Andrew A. Chien. Concurrent Aggregates (CA). PhD thesis, MIT, 1991.

[9] Andrew A. Chien and William J. Dally. Concurrent aggregates (CA). In Proceedings of the Second ACM SIGPLAN Symposium on Princeples & Practice of Parallel Programming, pages 187-196, Seattle, Washington, March 1990.

[10] Andrew. A. Chien, U. S. Reddy, J. Plevyak, and J. Dolby. ICC++ - a C++ dialect for high performance parallel computing. In Proceedings of the Second International Symposium on Object Technologies for Advanced Software, 1996.

[11] Robert H. Halstead, Jr. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501-538, April 1985.

[12] Maurice Herlihy. A methodology for implementing highly concurrent data structures. In Proceedings of the Second ACM SIGPLAN Symposium on Princeples & Practice of Parallel Programming, pages 197-206, Seattle, Washington, March 1990.

[13] Maurice Herlihy. A methodology for implementing highly concurrent data objects. ACM Transactions on Programming Languages and Systems, 15(5):745-770, 1993.

[14] Maurice P. Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.

[15] Waldemar Horwat, Andrew A. Chien, and William J. Dally. Experience with CST: Programming and implementation. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 101-109, Portland, Oregon, July 1989.

[16] Chris Houck and Gul Agha. HAL: A high-level actor language and its distributed implementation. In Proceedings of 1992 International Conference on Parallel Processing, pages II-158-II-165, 1992.

[17] Yutaka Ishikawa. The MPC++ Programming Language V1.0 Specification with Commentary Document Version 0.1. Technical Report TR-94014, RWC, June 1994.

[18] Eric Jul. Object Mobility in a Distributed Object-Oriented System. PhD thesis, University of Washington, 1989.

[19] Laxmikant V. Kale and Sanjeev Krishnan. CHARM++: A portable concurrent object-oriented system based on C++. In Proceedings of Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 91-108, 1993.

[20] Leslie Lamport. Concurrent reading and writing. Communications of the ACM, 20(11):806-811, 1977.

[21] Oscar M. Nierstrasz. Active objects in hybrid. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'87), pages 243-253, 1987.

[22] John Sargeant. United functions and objects: An overview. Technical report, Department of Computer Science, University of Manchester, 1993.

[23] John Sargeant. Uniting functional and object-oriented programming. In Shojiro Nishio and Akinori Yonezawa, editors, Proceedings of First JSSST International Symposium on Object Technologies for Advanced Software, volume 742 of Lecture Notes in Computer Science, pages 1-26. Springer-Verlag, 1993.

[24] Joseph P. Skudlarek. Remarks on a methodology for implementing highly concurrent data objects. ACM SIGPLAN Notices, 29(12):87-93, 1994.

[25] Joseph P. Skudlarek. Notes on ``a methodology for implementing highly concurrent data objects''. ACM Transactions on Programming Languages and Systems, 17(1):45-46, 1995.

[26] David Stoutamire. The pSather 1.0 Manual. Computer Science Division, University of California Berkeley, 1995.

[27] Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa. ABCL/f: A future-based polymorphic typed concurrent object-oriented language - its design and implementation -. In G. Blelloch, M. Chandy, and S. Jagannathan, editors, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, number 18 in Dimacs Series in Discrete Mathematics and Theoretical Computer Science, pages 275-292. American Mathematical Society, 1994.

[28] William Weihl, Eric Brewer, Adrian Colbrook, Chrysanthos Dellarocas, Wilson Hsieh, Anthony Joseph, Carl Waldspurger, and Paul Wang. PRELUDE: A system for portable parallel software. Technical Report MIT/LCS/TR-519, Laboratory for Computer Science, Massachusetts Institute of Technology, 1991.

[29] Akinori Yonezawa. ABCL: An Object-Oriented Concurrent System -- Theory, Language, Programming, Implementation and Application. The MIT Press, 1990.

[30] Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. Object-oriented concurrent programming in ABCL/1. In OOPSLA '86 Conference Proceedings, pages 258-268, 1986.