On the progress of communication between two machines. - Mohamed G. Gouda; Eric G. Manning; Yao-Tin Yu (Operating Systems Engineering, 1980)

Deadlock Detection for a Class of Communicating Finite State Machine. - Yao-Tin Yu; Mohamed G. Gouda (PSTV, 1982)

Deadlock Detection for a Class of Communicating Finite State Machines. - Yao-Tin Yu; Mohamed G. Gouda (IEEE Trans. Commun., 1982)

Maximal progress state exploration. - Mohamed G. Gouda; Yao-Tin Yu (SIGCOMM, 1983)

Unboundedness Detection for a Class of Communicating Finite-State Machines. - Yao-Tin Yu; Mohamed G. Gouda (Inf. Process. Lett., 1983)

Protocol Validation by Maximal Progress State Exploration. - Mohamed G. Gouda; Yao-Tin Yu (IEEE Trans. Commun., 1984)

Synthesis of Communicating Finite-State Machines with Guaranteed Progress. - Mohamed G. Gouda; Yao-Tin Yu (IEEE Trans. Commun., 1984)

On the Progress of Communications between Two Finite State Machines - Mohamed G. Gouda; Eric G. Manning; Yao-Tin Yu (Inf. Control., 1984)

An Analytical Method for Estimating and Interpreting Query Time. - Hai-Yann Hwang; Yao-Tin Yu (VLDB, 1987)