Correctness of a Directory-Based Cache Coherence Protocol: Early Experience

Fong Pong, Michel Dubois. Correctness of a Directory-Based Cache Coherence Protocol: Early Experience. In SPDP. pages 37-44, 1993.

@inproceedings{PongD93,
  title = {Correctness of a Directory-Based Cache Coherence Protocol: Early Experience},
  author = {Fong Pong and Michel Dubois},
  year = {1993},
  tags = {rule-based, caching, protocol},
  researchr = {https://researchr.org/publication/PongD93},
  cites = {0},
  citedby = {0},
  pages = {37-44},
  booktitle = {SPDP},
}