Go backward to 5 Programming Nodes Go up to Top Go forward to A Proving Assertions

References

 [1]

Chandy Chow and Theodore Johnson. Distributed Operating Systems & Algorithms. Addison-Wesley, Reading, Massachusetts, 1997.

 [2]

Message Passing Interface Forum. MPI: A Message-Passing Interface Standard (Version 1.2), 1995. Accessible from http://www.mpi-forum.org/docs/docs.html.

 [3]

Al Geist et al. PVM: Parallel Virtual Machine -- A Users' Guide and Tutorial for Networked Parallel Computing, 1994. Accessible from http://www.epm.ornl.gov/pvm/pvm_home.html.

 [4]

James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Sun Microsystems, 1.0 edition, 1996. http://www.javasoft.com/docs/books/jls/html/.

 [5]

JavaSoft. Java Development Kit -- Version 1.1.4, 1997. http://www.javasoft.com/products/jdk/1.1/.

 [6]

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

 [7]

Zohar Manna and Amir Pnueli. Temporal Verification of Reactive Systems : Safety. Springer, Berlin, Germany, 1995.