An approach to describing a data link level protocol with a formal language.

Jzsef Harangoz

Browse the full SIGCOMM paper archive.