As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...