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


Chandy Chow and Theodore Johnson. Distributed Operating Systems & Algorithms. Addison-Wesley, Reading, Massachusetts, 1997.
Message Passing Interface Forum. MPI: A Message-Passing Interface Standard (Version 1.2), 1995. Accessible from
Al Geist et al. PVM: Parallel Virtual Machine -- A Users' Guide and Tutorial for Networked Parallel Computing, 1994. Accessible from
James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Sun Microsystems, 1.0 edition, 1996.
JavaSoft. Java Development Kit -- Version 1.1.4, 1997.
Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann, San Francisco, CA, 1996.
Zohar Manna and Amir Pnueli. Temporal Verification of Reactive Systems : Safety. Springer, Berlin, Germany, 1995.

Maintainer: Wolfgang Schreiner
Last Modification: October 1, 1998

previous up next