Fong Pong, Michel Dubois. Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models. IEEE Trans. Parallel Distrib. Syst., 11(9):989-1006, 2000. [doi]
@article{PongD00, title = {Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models}, author = {Fong Pong and Michel Dubois}, year = {2000}, url = {http://www.computer.org/tpds/td2000/l0989abs.htm}, tags = {caching}, researchr = {https://researchr.org/publication/PongD00}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Parallel Distrib. Syst.}, volume = {11}, number = {9}, pages = {989-1006}, }