In: Advances in Parallel, Distributed, Grid and Cloud Computing for Engineering Computational Science, Engineering & Technology Series (40) Saxe-Coburg Publications, Stirlingshire, pp. 137-156. ISSN 1759-3158
In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
Correctness debugging of message passing programs using model verification techniques