State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI.

Stanislav Bhm, Ondrej Meca, Petr Jancar

Browse the full FM paper archive.