Wonmo Hong

Publication Activity (10 Years)

Years Active: 1983-1988
Publications (10 Years): 0

Publications

Stephen S. Yau, Wonmo Hong
Verification of Concurrent Control Flow in Distributed Computer Systems. IEEE Trans. Software Eng. 14 (4) (1988)
Stephen S. Yau, Wonmo Hong
Performance Optimization of a CSMA Protocol for Local Computer Networks. IEEE Trans. Computers 33 (9) (1984)
P. M. Lu, Stephen S. Yau, Wonmo Hong
A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation. Inf. Sci. 30 (2) (1983)
P. M. Lu, Stephen S. Yau, Wonmo Hong
A formal methodology using attributed grammars for multiprocessing-system software development II - Validation. Inf. Sci. 30 (2) (1983)