Modeling and verification of TCP congestion control based on colored Petri nets

Ganfeng Bao, Fang Liu, Li Hong. Modeling and verification of TCP congestion control based on colored Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003. pages 1045-1050, IEEE, 2003. [doi]

Authors

Ganfeng Bao

This author has not been identified. Look up 'Ganfeng Bao' in Google

Fang Liu

This author has not been identified. Look up 'Fang Liu' in Google

Li Hong

This author has not been identified. Look up 'Li Hong' in Google