The following pages link to Yao-Tin Yu (Q1054478):
Displaying 4 items.
- Unboundedness detection for a class of communicating finite-state machines (Q1054479) (← links)
- Synthesis of Communicating Finite-State Machines with Guaranteed Progress (Q3219124) (← links)
- On the progress of communication between two finite state machines (Q3719838) (← links)
- Deadlock Detection for a Class of Communicating Finite State Machines (Q3962470) (← links)
