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

Ganfeng Bao, Fang Liu, Li Hong

Browse the full SMC paper archive.