1 Analysis of BitTorrent-like Protocols for On-Demand Stored Media Streaming Khandoker Nadim Parvez Carey Williamson Anirban Mahanti Niklas Carlsson.
Formal Modeling and Analysis of BitTorrent using Coloured Petri Nets Jing LIU, Xinming YE, Tao SUN ICT-CAS & IMU, China 2009-10-20.