PaxosState sends and receives messages