Modeling physical layer protocols using communicating finite state machines.

Mohamed G. Gouda, Khe-Sing The

Browse the full SIGCOMM paper archive.