Return to Article Details Research of a multithreaded non-deterministic system model Download Download PDF