Added BroadcastSpec and SmallestMailboxSpec