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

Fong Pong Michel Dubois

Published in: SPDP (1993)

Keyphrases

lightweight
database systems
hierarchical structure
user experience
formal analysis
data sets
information retrieval
privacy preserving
multi party
correctness criterion