Title: Algebraic specification of communication protocols
Subjects: Computer network protocols, Computer networks, Specifications, Computer science, mathematics