S. Mauw

• Algebraic Specification of Communication Protocols
• Algebraic Specification of Communication Protocols