M.T. Liu

Performance analysis of multibuffered packet-switching networks in multiprocessor systems

Hyunsoo Yoon, K.Y. Lee, M.T. Liu · IEEE Transactions on Computers · 1990 · 139 citations

Computing, Computer Engineering, Computer Science +11

Generating test cases for EFSM with given fault models

C.-J. Wang, M.T. Liu · 2002 · 51 citations

Engineering, Computer Science, Formal Methods +15

A fault tolerant algorithm for distributed mutual exclusion

Yu-Lin Chang, M. Singhal, M.T. Liu · 2002 · 46 citations

Computing, Computer Engineering, Computer Science +13

A synchronization model for protocol conversion

J.C. Shu, M.T. Liu · 1989 · 36 citations

Computing, Computer Engineering, Computer Science +17

Protocol synthesis in a state-transition model

P.-Y.M. Chu, M.T. Liu · 2003 · 35 citations

Computing, Computer Engineering, Computer Science +17