1. Add a system model description under which your protocol is expected to operate.
2. Add description of fault-tolerant properties of the protocol.
3. Do you plan to prove correctness of the algorithm more formally? Maybe you could model the algorithm before publishing. If you prove a safety property using model checking it could considerably reduce doubt about an algorithm correctness.