Bibliography

1

James Boyle, Ralph Butler, Terrence Disz, Barnett Glickfeld, Ewing Lusk, Ross Overbeek, James Patterson, and Rick Stevens.
Portable Programs for Parallel Processors.
Holt, Rinehart, and Winston, 1987.

2

M. Chandy and S. Taylor.
An Introduction to Parallel Programming.
Jones and Bartlett, 1991.

3

Terrence Disz and Ewing Lusk.
A graphical tool for observing the behavior of parallel logic programs.
In Proceedings of the 1987 Symposium on Logic Programming, pages 46-53, 1987.

4

Ian Foster and Stephen Taylor.
Strand: New Concepts in Parallel Programming.
Prentice-Hall, 1990.

5

Michael Gorlick and Carl Kesselman.
Timing Prolog programs without clocks.
In Proceedings of the 1987 Symposium on Logic Programming, pages 426-432, 1987.

6

M. T. Heath and J. A. Etheridge.
Visualizing the performance of parallel programs.
Technical Report ORNL TM-11813, Oak Ridge National Laboratory, 1991.

7

E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D.H.D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepielewski, and B. Hausman.
The aurora or-parallel prolog system.
New Generation Computing, 7(3):243-271, 1990.

8

E. Lusk, W. McCune, and J. Slaney.
Roo--a parallel theorem prover.
Technical Report MCS-TM-149, Argonne National Laboratory, 1991.