A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation. - P. M. Lu; Stephen S. Yau; Wonmo Hong (Inf. Sci., 1983)

A formal methodology using attributed grammars for multiprocessing-system software development II - Validation. - P. M. Lu; Stephen S. Yau; Wonmo Hong (Inf. Sci., 1983)

Performance Optimization of a CSMA Protocol for Local Computer Networks. - Stephen S. Yau; Wonmo Hong (IEEE Trans. Computers, 1984)

Verification of Concurrent Control Flow in Distributed Computer Systems. - Stephen S. Yau; Wonmo Hong (IEEE Trans. Software Eng., 1988)