Cache Coherence Protocol MSI described in Murphi