Stephen F. Siegel, George S. Avrunin. Verification of Halting Properties for MPI Programs Using Nonblocking Operations. In Franck Cappello, Thomas Hérault, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User s Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings. Volume 4757 of Lecture Notes in Computer Science, pages 326-334, Springer, 2007. [doi]
Abstract is missing.