Proving Liveness for Networks of Communicating Finite State Machines

• Authors:

• Mohamed G. Gouda;C. K. Chang

• Affiliations:

• -;-

• Venue:
• Proving Liveness for Networks of Communicating Finite State Machines
• Year:
• 1984