An exercise in deriving a protocol conversion

• 1 August 1987
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGCOMM Computer Communication Review
• Vol. 17  (5) , 151-160
• https://doi.org/10.1145/55483.55498

Abstract

Keywords

• SOLVING
• CONVERSION
• STRUCTURE
• FUNCTION
• CONVERTER
• ILLUSTRATED
• SEMANTICS
• INCOMPATIBLE
• EXERCISE
• TRANSLATION