The protocol described in this document has been fully specified, and is currently being verified to prove absence of deadlock and livelock. The specific will be provided on request to the author.
Thanks to Richard Black for several suggestions on the improvement of the proposals in this draft.