A grammar-based methodology for protocol specification and implementation.

David P. Anderson, Lawrence H. Landweber

Browse the full SIGCOMM paper archive.