A decomposition method for the analysis and design of finite state protocols.

Tat Y. Choi, Raymond E. Miller

Browse the full SIGCOMM paper archive.