Isotach networks: Modeling the Token Manager

The objective for this project have been carved from the needs of the larger Isotach Network Project, which addresses the problems of data synchronization in multiple processor systems by providing the isotach invariant, a guarantee which allows originating processes to determine the receipt time of their messages at each respective message’s destination. This knowledge of message timing can be used implement more efficient synchronization techniques.