GPS: A General Peer-to-Peer Simulator and its Use for Modeling BitTorrent
Formal Modeling and Analysis of BitTorrent using Coloured Petri Nets Jing LIU, Xinming YE, Tao SUN ICT-CAS & IMU, China 2009-10-20.
FairTorrent : BrinGing Fairness to Peer-to-Peer Systems