Tat Y. Choi

According to our database, Tat Y. Choi authored at least 5 papers between 1983 and 1996.

Collaborative distances:

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

1996

Multimedia Technology and Cost Savings in Hotel Applications.

Tat Y. Choi, Robert Law

Proceedings of the Multimedia Technology and Applications, 1996

1986

Protocol Analysis and Synthesis by Structured Partitions.

Tat Y. Choi, Raymond E. Miller

Comput. Networks, 1986

1985

Formal techniques for the specification, verification and construction of communication protocols.

Tat Y. Choi

IEEE Commun. Mag., 1985

1983

A decomposition method for the analysis and design of finite state protocols.

Tat Y. Choi, Raymond E. Miller

Proceedings of the Eighth Symposium on Data Communications, 1983

Network protocol: A structured approach.

Tat Y. Choi, Raymond E. Miller

Proceedings of the 1983 Annual Conference on Computers: extending the human resource, 1983