K. Vijayananda. Distributed fault detection in communication protocols using extended finite state machines. In 1996 International Conference on Parallel and Distributed Systems (ICPADS 96), June 3-6, 1996, Tokyo, Japan, Proceedings. pages 310-318, IEEE Computer Society, 1996. [doi]
Abstract is missing.