M.D. Hill
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Token Coherence: decoupling performance and correctness
Milo M. K. Martin and others (2003) · Proceedings - International Symposium on Computer Architecture/Proceedings
Specifying and verifying a broadcast and a multicast snooping cache coherence protocol
D.J. Sorin and others (2002) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers (IEEE)