Specification and Development of Parallel Algorithms with the ProteusSystem

Allen Goldberg, Peter Mills, Lars S. Nyland, Jan Prins, John H. Reif, James Riely. Specification and Development of Parallel Algorithms with the ProteusSystem. In Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors, Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. Volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 383, DIMACS/AMS, 1994.

Abstract

Abstract is missing.