Communicating finite state machines: analysis and synthesis of communication protocols

• Authors:

• Yao-Tin Yu

• Affiliations:

• -

• Venue:
• Communicating finite state machines: analysis and synthesis of communication protocols
• Year:
• 1983