Title: Algebraic Specification of Communication Protocols
Subjects: Computer network protocols, Computer science, mathematics