Robert Cypher, Eric Leu. Efficient race detection for message-passing programs with nonblocking sends and receives. In Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, SPDP 1995, San Antonio, Texas , USA, October 25-28, 1995. pages 534-541, IEEE, 1995. [doi]
Abstract is missing.