Specification and verification of collusion-free broadcast networks.

Pradeep Jain, Simon S. Lam

Browse the full SIGCOMM paper archive.