Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols