MESI_SCMP_bankdirectory-msg.sm
MESI_SCMP_bankdirectory-L2cache.sm
MESI_SCMP_bankdirectory-L1cache.sm
MESI_SCMP_bankdirectory-mem.sm
standard_CMP-protocol.sm