Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus.
Tom ChothiaPublished in: FORTE (2006)
Keyphrases
- file sharing
- peer to peer
- peer to peer networks
- distributed environment
- load balancing
- client server
- internet traffic
- grid computing
- overlay network
- distributed computing
- peer to peer systems
- web caching
- digital libraries
- video on demand
- resource sharing
- relational calculus
- data mining techniques
- cooperative
- computer algebra