David Bernstein, Mauricio Breternitz Jr., Ahmed Gheith, Bilha Mendelson. Solutions and debugging for data consistency in multiprocessors with noncoherent caches. International Journal of Parallel Programming, 23(1):83-103, 1995. [doi]
Abstract is missing.