A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications
Subodh Sharma‚ Ganesh Gopalakrishnan and Greg Bronevetsky
Book Title
Formal Methods: Foundations and Applications
Copyright
2012 Springer−Verlag Berlin Heidelberg
Editor
Gheyi‚ Rohit and Naumann‚ David
ISBN
978−3−642−33295−1‚ 978−3−642−33296−8
Month
jan
Pages
194–209
Publisher
Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science
Year
2012