Professor
Gregor Bochmann
Member Recognitions
for contributions to the formal specification of protocols for data communications.