Proofs of Correctness of Cache-Coherence Protocols.

Joseph E. Stoy Xiaowei Shen Arvind

Published in: FME (2001)

Keyphrases

theorem proving
databases
theorem prover
database
neural network
decision trees
communication protocols