Yao-Tin Yu

According to our database, Yao-Tin Yu authored at least 9 papers between 1980 and 1987.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1987

An Analytical Method for Estimating and Interpreting Query Time.

Hai-Yann Hwang, Yao-Tin Yu

Proceedings of the VLDB'87, 1987

1984

On the Progress of Communications between Two Finite State Machines

Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu

Inf. Control., December, 1984

Synthesis of Communicating Finite-State Machines with Guaranteed Progress.

Mohamed G. Gouda, Yao-Tin Yu

IEEE Trans. Commun., 1984

Protocol Validation by Maximal Progress State Exploration.

Mohamed G. Gouda, Yao-Tin Yu

IEEE Trans. Commun., 1984

1983

Unboundedness Detection for a Class of Communicating Finite-State Machines.

Yao-Tin Yu, Mohamed G. Gouda

Inf. Process. Lett., 1983

Maximal progress state exploration.

Mohamed G. Gouda, Yao-Tin Yu

Proceedings of the symposium on Communications Architectures & Protocols, 1983

1982

Deadlock Detection for a Class of Communicating Finite State Machines.

Yao-Tin Yu, Mohamed G. Gouda

IEEE Trans. Commun., 1982

Deadlock Detection for a Class of Communicating Finite State Machine.

Yao-Tin Yu, Mohamed G. Gouda

Proceedings of the Protocol Specification, 1982

1980

On the progress of communication between two machines.

Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu

Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980