Abstract | ||
---|---|---|
A technique is described for automatic validation of communication protocols that are given in the form of regular protocol diagrams. It is based on the use of the link state introduced by West [2], but it has the advantage of not requiring that the state transition diagrams of the two communicating processes be available. The technique is applied to the validation of the CCITT X.21 protocol to illustrate the ease with which it can be used to detect reception errors, deadlock errors and overflow errors. |
Year | DOI | Venue |
---|---|---|
1981 | 10.1016/0020-0255(81)90018-9 | Information Sciences |
Keywords | Field | DocType |
communication system | Link-state routing protocol,Computer science,Deadlock,Communications system,Distributed computing,Communications protocol | Journal |
Volume | Issue | ISSN |
24 | 2 | 0020-0255 |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sung Y. Bang | 1 | 1 | 1.22 |
Peter A. Ng | 2 | 444 | 411.06 |
Paul K. Blackwell | 3 | 8 | 37.62 |