A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

Publication
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012

Related