M. Plakal
1 reference 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.
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)