107
click to vote
ICDCS
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...