Algebraic Specification of Communication Protocols