An Integrated Methodology for the Verification of Directory-Based Cache Protocols.

Fong Pong Per Stenström Michel Dubois

Published in: ICPP (1) (1994)

Keyphrases

cryptographic protocols
data access
website
query processing
model checking
prefetching
metadata
database systems
data management
main memory
formal methods