Properties of the Timed Token Protocol
Biao Chen, Wei Zhao · 2004
this report we will derive some properties of token rotation time and then use these properties to yield a close formula for the minimum total synchronous message transmission time a node can have during any message period. 2 Background and Definitions