一种基于广播的cache一致性协议的设计和验证
일충기우엄파적cache일치성협의적설계화험증
The design and verification of a broadcast-based cache coherence protocol
저자의 최근 논문