References

AL93

M. Abadi and L. Lamport. Composing Specifications. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993. Also available as DEC SRC Research Report 66.

BLCGP92

T. Berners-Lee, R. Cailliau, J. Groff, and B. Pollermann. World Wide Web: The Information Universe. Electronic Networking: Research, Applications, and Policy, 1(2), 1992.

BN84

A.D. Birrell and B.J. Nelson. Implementing Remote Procedure Call. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.

BNOW95

A. Birrell, G. Nelson, S. Owicki, and E.P. Wobber. Network Objects. Software Practice and Experience, 25(S4):87-130, December 1995. Also available as DEC SRC Research Report 115.

BST89

H.E. Bal, J.G. Steiner, and A.S. Tanenbaum. Programming Languages for Distributed Computing Systems. ACM Computing Surveys, 21(3):261-322, September 1989.

Car95

L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27-59, January 1995.

Cha94

K.M. Chandy. Properties of Concurrent Programs. Formal Aspects of Computing, 6(6):607-619, 1994.

CL85

K.M. Chandy and L. Lamport. Distributed Snapshots: Determining the Global States of Distributed Systems. ACM Transactions on Computing Systems, 3(1):63-75, February 1985.

CM88

K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, 1988.

CRS96

K.M. Chandy, A. Rifkin, P.A.G. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, and L. Weisman. A World-Wide Distributed System Using Java and the Internet. In Proceedings of the Fifth Workshop on High Performance Distributed Computing, Syracuse, NY, August 1996.

CS95

K.M. Chandy and B.A. Sanders. Predicate Transformers for Reasoning about Concurrent Computation. Science of Computer Programming, 24(2):129-147, April 1995.

CS96

K.M. Chandy and E.M. Schooler. Designing Directories in Distributed Systems: A Systematic Framework. In Proceedings of the Fifth Workshop on High Performance Distributed Computing, Syracuse, NY, August 1996.

CT92

K.M. Chandy and S. Taylor. An Introduction to Parallel Programming. Jones and Bartlett, Boston, MA, 1992.

DS90

E.W. Dijkstra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, New York, 1990.

Fuc96

M. Fuchs. Let's Talk: Extending the Web to Support Collaboration. Walt Disney Imagineering, 1996.

GJS96

J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley Developers Press, Sunsoft Java Series, 1996.

Gro96

ILU Group. Inter-Language Unification. Xerox Parc, Palo Alto, CA, 1996.

GYtJT96

J. Gosling, F. Yellin, and the Java Team. The Java Application Programming Interface. Addison-Wesley Developers Press, Sunsoft Java Series, 1996.

Hoa69

C.A.R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10):576-583, October 1969.

Lam78

L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, 21(7):558-565, July 1978.

Lam94

L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994. Also available as DEC SRC Research Report 79.

Lyn96

N.A. Lynch. Distributed Algorithms. Morgan-Kaufmann, San Francisco, CA, 1996.

Mas97

B.L. Massingill. Parallel Programming Archetypes in Scientific Computing. PhD thesis, California Institute of Technology, 1997.

Obj95

Object Management Group. The Common Object Request Broker: Architecture and Specification (CORBA). OMG, 1995. Revision 2.0.

OW96

Object Management Group and World Wide Web Consortium. Proceedings of the Workshop on Distributed Objects and Mobile Code. OMG/W3C, Boston, MA, June 1996.

Pos80

J.B. Postel. User Datagram Protocol. RFC 768, August 1980.

Rif96

A. Rifkin. Application Development using Analytic and Experimental Performance Tuning. Technical Report CS-TR-96-09, Computer Science Department, California Institute of Technology, 1996.

SC96

P.A.G. Sivilotti and K.M. Chandy. Toward High Confidence Distributed Programming with Java: Reliable Thread Libraries. In International Conference on Software Engineering, July 1996.

Ste94

W.R. Stevens. TCP/IP Illustrated, Volume 1: The Protocols. Addison-Wesley, Reading, MA, 1994.

Tan95

A.S. Tanenbaum. Distributed Operating Systems. Prentice-Hall, Englewood Cliffs, NJ, 1995.

Tho96

J. Thornley. A Parallel Programming Model with Sequential Semantics. PhD thesis, California Institute of Technology, 1996.

Whi94

J.E. White. Telescript Technology: The Foundation for the Electronic Marketplace. General Magic, Inc, 1994.