Beverly A. Sanders, Dominique Méry. Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 974-976, Springer, 2000. [doi]
Abstract is missing.