Systematic composition of distributed objects: Processes and sessions

Computer Journal

Volumn 40, Issue 8, 1997, Pages

  Chandy, K Mani ^a   Rifkin, Adam ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3743127437     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/40.8.465     Document Type: Article

References (32)

1. Chandy, K. M. and Misra, J. (1988) Parallel Program Design: A Foundation, Addison-Wesley, Reading, MA.
2. Chandy, K. M. and Taylor, S. (1992) An Introduction to Parallel Programming, Jones and Bartlett, Boston, MA.
3. Lamport, L. (1994) The Temporal Logic of Actions. ACM Trans. Progr. Languages Systems, 16, 872-923. Also available as DEC SRC Research Report 79, No. 3. No. 3.
4. Abadi, M. and Lamport, L. (1993) Composing Specifications. ACM Trans. Progr. Languages Systems, 15, 73-132. Also available as DEC SRC Research Report 66.
5. Chandy, K. M. (1994) Properties of Concurrent Programs. Formal Aspects of Computing, 6, 607-619.
6. Hoare, C. A. R. (1969) An Axiomatic Basis for Computer Programming. Commun. ACM, 12, 576-583.
7. Dijkstra, E. W. and Scholten, C. S. (1990) Predicate Calculus and Program Semantics. Springer-Verlag, New York.
8. Chandy, K. M., Rifkin, A., Sivilotti, P. A. G., Mandelson, J., Richardson, M., Tanaka, W. and Weisman, L. (1996) A World-Wide Distributed System Using Java and the Internet. Proceedings of the Fifth Workshop on High Performance Distributed Computing, Syracuse, NY, August, pp. 11-18. IEEE Computer Society Press, Los Alamitos, CA.
9. Gosling, J., Joy, B. and Steele, G. (1996) The Java Language Specification. Sunsoft Java Series. Addison-Wesley Developers Press, Reading, MA.
10. Stevens, W. R. (1994) TCP/IP Illustrated, Volume 1: The Protocols. Addison-Wesley, Reading, MA.
11. Berners-Lee, T., Cailliau, R., Groff, J. and Pollermann, B. (1992) Electronic Networking: Research, Applications and Policy, World Wide Web: The Information Universe, 1, 52-58.
12. Object Management Group (1995) the Common Object Request Broker: Architecture and Specification (CORBA), Revision 2.0. OMG, Framingham, MA.
13. Birrell, A. D. and Nelson, B. J. (1984) Implementing Remote Procedure Call. ACM Trans. Comput. Systems, 2, 39-59.
14. Sivilotti, P. A. G. and Chandy, K. M. (1996) Toward High Confidence Distributed Programming with Java: Reliable v Thread Libraries, 11th International Conference on Systems Engineering (ICSE 96), Las Vegas, NV. Howard R. Hughes College of Engineering, University of Nevada, Las Vegas, NV.
15. Rifkin, A. (1996) Application Development using Analytic and Experimental Performance Tuning, Computer Science Department, California Institute of Technology, CS-TR-96-09.
16. Thornley, J. (1996) A Parallel Programming Model with Sequential Semantics. Ph.D. Thesis, California Institute of Technology, CA.
17. Massingill, B. L. (1997) A Structured Approach to Parallel Programming. Ph.D. Thesis, California Institute of Technology, CA.
18. Chandy, K. M. and Sanders, B. A. (1995) Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput Progr., 24, 129-141.
19. Tanenbaum, A. S. (1995) Distributed Operating Systems. Prentice-Hall, Englewood Cliffs, NJ.
20. Chandy, K. M. and Lamport, L. (1985) Distributed Snapshots: Determining the Global States of Distributed Systems. ACM Transactions on Computing Systems, 3, 63-75.
21. Lamport, L. (1978) Time, Clocks and the Ordering of Events in a Distributed System. Commun. ACM, 21, 558-565.
22. Gosling, J., Yellin, F. and the Java Team (1996) The Java Application Programming Interface. Sunsoft Java Series. Addison-Wesley Developers Press, Reading, MA.
23. Chandy, K. M. and Schooler, E. M. (1996) Designing Directories in Distributed Systems: A Systematic Framework. Proceedings of the Fifth Workshop on High Performance Distributed Computing, Syracuse, NY, August, IEEE Computer Society Press, Los Alamitos, CA.
24. Bal, H. E., Steiner, J. G. and Tanenbaum, A. S. (1989) Programming Languages for Distributed Computing Systems. ACM Comput. Surv., 21, 261-322.
25. Lynch, N. A. (1996) Distributed Algorithms. Morgan-Kaufmann, San Francisco, CA.
26. Birrell, A., Nelson, G., Owicki, S. and Wobber, E. P. (1995) Software Practice and Experience. Network Objects, 25, 87-130. Also available as DEC SRC Research Report 115, S4.
27. Birrell, A., Nelson, G., Owicki, S. and Wobber, E. P. (1995) Software Practice and Experience. Network Objects, 25, 87-130. Also available as DEC SRC Research Report 115, S4.
28. Cardelli, L. (1995) A Language with Distributed Scope. Comput. Systems, 8, 27-59.
29. White, J. E. (1994) Telescript Technology: The Foundation for the Electronic Marketplace. General Magic, Inc., Mountain View, CA
30. ILU Group (1996) Inter-Language Unification. Xerox Parc, Palo Alto, CA.
31. Object Management Group and World Wide Web Consortium (1996) Proceedings of the Workshop on Distributed Objects and Mobile Code, Boston, MA. OMG/W3C. OMG Press, Framingham, MA
32. Fuchs, M. (1996) Let's Talk: Extending the Web to Support Collaboration. Walt Disney Imagineering, Burbank, CA.