Testing concurrent programs:A formal evaluation of coverage criteriaMichael FactorEitan Farchiet al.1996Israel ICCSSE 1996Conference paper
Using true concurrency to model execution of parallel programsYosi Ben-AsherEitan Farchi1994Int. J. Parallel ProgramPaper