Deriving protocol specifications from service specifications.

Gregor von Bochmann, Reinhard Gotzhein

Browse the full SIGCOMM paper archive.