MOSI_SMP_bcast-msg.sm
MOSI_SMP_bcast-cache.sm
MOSI_SMP_bcast_m-dir.sm
standard_SMP-protocol.sm