MOESI_SMP_directory-msg.sm
MOESI_SMP_directory-cache.sm
MOESI_SMP_directory-dir.sm
standard_SMP-protocol.sm