1. Lecture Notes in Computer Science;A.P. Claudio,2003
2. Cypher, R., Leu, E.: Efficient Race Detection for Message-Passing Programs with Nonblocking Sends and Receives. In: 7th Symp. on Parallel and Distributed Processing, pp. 534–541. IEEE, Los Alamitos (1995)
3. Sigplan Notices;S.K. Damodaran-Kamal,1993
4. Damodaran-Kamal, S.K., Francioni, J.M.: Testing Races in Parallel Programs with an OtOt Strategy. In: Int’l Symp. on Software Testing and Analysis, pp. 216–227. ACM, New York (1994)
5. Fidge, C.J.: Partial Orders for Parallel Debugging. In: SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pp. 183–194. ACM, New York (1988)