Murphi code of MESI w/ Self-degradation & support for arbitrary network reordering. - View it on GitHub