@conference{c12fe6f4c4ac454eaee15e224925ea0c,
title = "Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus",
author = "Tom Chothia and E Najm and J-F Pradat-Peyre and VV Donzeau-Gouge",
year = "2006",
month = sep,
day = "1",
doi = "10.1007/11888116_9",
language = "English",
pages = "115--130",
note = "Proceedings of 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006), Paris, France, September 26-29, 2006 ; Conference date: 01-09-2006",
}