| |
| 1988 | ||
|---|---|---|
| 4 | EE | Stephen S. Yau, Wonmo Hong: Verification of Concurrent Control Flow in Distributed Computer Systems. IEEE Trans. Software Eng. 14(4): 405-417 (1988) |
| 1984 | ||
| 3 | Stephen S. Yau, Wonmo Hong: Performance Optimization of a CSMA Protocol for Local Computer Networks. IEEE Trans. Computers 33(9): 812-817 (1984) | |
| 1983 | ||
| 2 | EE | 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): 107-123 (1983) |
| 1 | EE | 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): 79-105 (1983) |
| 1 | P. M. Lu | [1] [2] |
| 2 | Stephen S. Yau | [1] [2] [3] [4] |