A Language-Based Approach to Protocol Implementation.

Mark B. Abbott, Larry L. Peterson

Browse the full SIGCOMM paper archive.