7 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
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…