Adam Duguid. Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. In Eugene Asarin, Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science, pages 156-170, Springer, 2006.
Abstract is missing.