previous up next
Go backward to 5 Programming Nodes
Go up to Top
Go forward to A Proving Assertions
RISC-Linz logo

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.

Maintainer: Wolfgang Schreiner
Last Modification: November 14, 1997

previous up next