1. Principles of Concurrent and Distributed Programming;Ben-Ari,1990
2. On Concurrent Programming;Schneider,1997
3. Characterization of communication patterns in message-passing parallel scientific application programs;Kim,1998
4. CHARM++: a portable concurrent object oriented system based on C++;Kalé,1993
5. ISP: a tool for model checking MPI programs;Vakkalanka,2008