Title: Compositional Methods for Communication Protocol Design
First published: September 1995
Subjects: Computer network protocols