55 citations · 105 across the 5 of their papers we have counts for
1 paper · 2 filters
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache…