KAKUDA, Y. Verification of Responsiveness for Communication Protocols. IEICE Japan, Tech. Group Paper. 1991, FTS91-57, CPSY91-58
KAKUDA, Y. Issues in responsive Protocols Design, Proc. 2nd International Workshop on Responsive Computer Systems (RCS '92), Oct. 1992. Dependable Computing and Fault-Tolerant Systems. 1993, 7, 17-26